Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Principled Software Development

Principled Software Development

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319980461
Condition
New
Product Description

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 Arnds 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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Systemtechnik des Schienenverkehrs

$34.99

Allgemeine Wirtschaftspolitik: Grundlagen

$49.99

I Want to be Mad for a While! (Hardcover)

$7.49

Strategic Decision Making in Modern Manufacturing

$39.99

High Performance Computing

$89.99

Social Entrepreneurship in the Middle East

$109.99

Ehehnliche Gemeinschaft ? Wohn- und Wirtschaftsgemeinschaft

$37.99

Diagnostic Bacteriology

$89.00

The Comedian as the Letter D: Erasmus Darwins Comic Materialism

$109.99

Reinforced and Prestressed Concrete

$109.99

Proceedings of International Conference on Wireless Communication

$219.99

Programming Languages and Systems

$54.99

The Organized Criminal Activities of the Bank of Credit and Commerce International: Essays and Docum

$109.99

Democracy in Europe

$79.99

Advances in Nutritional Research

$39.99

Phosphoinositides

$169.99

Automatisierung und Entkollektivierung betrieblicher Arbeitsorganisation

$59.99

Advances in X-Ray Analysis

$54.99

Globalization, Utopia and Postcolonial Science Fiction

$39.99

Paraconsistent Intelligent-Based Systems

$109.99

aber das ist noch lange nicht Gewalt

$64.99

Getting StartED with Windows 7

$29.99

Digitalisfibel fr den Arzt

$54.99

Membranes, Channels, and Noise

$39.99

Inclusive Education in Italy

$49.99

Energiebeschaffung in Industrieunternehmen

$17.99

Irrweg fr Carlotta

$59.99

MR Mammography (MRM)

$109.99

Das theologisch-politische Problem

$19.99

Static Compensators (STATCOMs) in Power Systems

$169.00

DNA Computing

$99.99

Emerging Applications of Vacuum-Arc-Produced Plasma, Ion and Electron Beams

$109.99

Automatic Speech Recognition

$129.00

Critische Dichtkunst

$179.99

Azure Cloud Security for Absolute Beginners

$39.99

Mapping Chinese Investment in South Asia

$129.99

Building Bridges

$109.99

Arbeiten aus dem Kaiserlichen Gesundheitsamte

$59.99

Integriertes Informationsmanagement

$54.99

Grundlagen und neue Perspektiven des Luxustourismus

$49.99