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

Information Systems and Management Science

$199.99

Linear Adaptive Decision Functions and Their Application to Clinical Decision

$54.99

Algebraic Combinatorics

$54.99

Poetics of Slow Cinema

$79.99

Fachbergreifende Aspekte der Hmostaseologie IV

$69.99

The Impact of Climate Change on European Lakes

$169.00

Krperliche Aktivitt und psychische Gesundheit

$99.99

Computational Cognition

$179.99

Africa

$0.00

Angewandte Geophysik

$59.99

The Missing Italian Nuremberg

$54.99

Proceedings of the 4th International Conference on Experimental and Computational Mechanics in Engin

$219.99

Pre-Menopause, Menopause and Beyond

$39.99

Die Literaturen in der sterreichischen Monarchie im 19. Jahrhundert in ihrer Sonderentwicklung

$54.99

Classic Goosebumps: Welcome to Camp Nightmare (#14)

$5.99

Digital Multimedia Communications

$99.99

Cell Cycle and Oncogenes

$84.99

Don't Let The Pigeon Stay Up Late! (Hardcover)

$17.95

The Molecular Targets and Therapeutic Uses of Curcumin in Health and Disease

$169.00

Computational Mechanics of Nonlinear Response of Shells

$84.99

Entity Alignment

$49.99

Britische Soziologie

$19.99

The Sweet Smell of Christmas by Patricia M. Scarry

$9.99

Den Wettbewerb im Energiesektor planen

$69.99

The Political Economy of Security/Development in the Neoliberal Age

$99.00

What If You Had Animal Eyes!?

$3.74

Zerfall- und Schwellverhalten von Eisenerzpellets

$59.99

The Role of Natural Antioxidants in Brain Disorders

$199.99

Stochastische Strukturoptimierung von Stab- und Balkentragwerken

$64.99

Modern IoT Onboarding Platforms for Advanced Applications

$59.99

Fortschritte der praktischen Dermatologie und Venerologie

$69.99

Artificial Intelligence and Image Analysis

$64.99

Unternehmensbewertung

$44.99

A Review on Recent Echocardiographic Software

$99.99

Decentralized Finance

$169.99

The HR Diagram

$219.99

Sustainable Management

$39.99

Graphentheorie

$34.99

A Sled for Gabo

$6.71

Pro Android 3

$39.99