Code: 25303200

Principled Software Development

Name: Principled Software Development
Brand: Springer International Publishing
SKU: 25303200
Price: 102.97 EUR
Availability: InStock
Author: Ina Schaefer
ISBN: 9783030074425

by Ina Schaefer

Language: English
Binding: Paperback
Number of pages: 323
Publisher: Springer International Publishing, 2018
More about this

102.97 €

RRP: 111.59 €

You save 8.63 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Pour Comprendre Français CE1
9.40 €
Buy
Foad Mustafa-Soltani: A look into his life, his aspirations and how he died
30.54 €
Buy
Mümin - Kafir Kod37
12.13 € -5 %
Buy
LDW Architectes
23.96 € -14 %
Buy
Wood's Library of Standard Medical Authors, Volume 16...
23.76 € -2 %
Buy
Basic Phonics Skills, Level B
21.74 € -24 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Principled Software Development

Book details
Synopsis
Trending among others

You get 249 loyalty points

Book synopsis

This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines. With this book the editors and authors wish to acknowledge - on the occasion of his 60th birthday - the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd's broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career. Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.