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

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Infectious Diseases and Your Health

$169.99

Wahlkmpfe in Europa 1884 bis 1889

$59.99

The Collegium Phaenomenologicum, The First Ten Years

$169.00

ber die Beteiligung des metallenen Gehuses an den Entladungsvorgngen in Grogleichrichtern

$54.99

Policy Innovation for Health

$109.99

Functional Analysis I

$129.99

Walking: Biological and Technological Aspects

$109.99

Gene Manipulation in Plant Improvement II

$54.99

Reliability and Maintenance of Complex Systems

$259.00

Das operative Management von Produktionsunternehmungen

$69.99

Malignant Lymphoproliferative Diseases

$54.99

Wissenstransfer in Franchisenetzwerken

$59.99

Introduction to the Light-Emitting Diode

$39.99

Pflegewissen Kardiologie

$49.99

Teaching and Learning for Social Justice and Equity in Higher Education

$129.00

Praxishandbuch City- und Stadtmarketing

$79.99

Family Firms

$49.95

Platzierung von Softwarekomponenten auf Mehrkernprozessoren

$49.99

Chronik des europischen Theaters

$17.99

The Water We Eat

$84.99

Publizieren

$69.95

The Massachusetts General Hospital Clinical Approach to Vascular Ultrasound

$89.99

Julius (Hardcover)

$11.24

Human Trafficking in Conflict

$179.99

From Basic Cardiac Imaging to Image Fusion

$109.99

Physiologie des Geschmacks oder Betrachtungen ber hhere Gastronomie

$84.99

Raumgetriebe mit stationrem Geschwindigkeitsverlauf

$59.99

Conjugate Gradient Algorithms and Finite Element Methods

$109.99

Thermodynamics and Fluctuations far from Equilibrium

$109.99

Principles and Perspectives in Cosmochemistry

$329.99

Novel Approaches to the Structure and Dynamics of Liquids: Experiments, Theories and Simulations

$109.99

berzeugen 4.0

$24.99

Bifurcations in Hamiltonian Systems

$34.99

Noah I Love You All Ways by Marianne Richmond

$8.99

True Profit!

$32.99

Breast Cancer

$139.00

Asymmetrische Geschftsfhrungsprfung

$84.99

What Works in Crime Prevention and Rehabilitation

$99.00

Praxiseinschtzungen zur Nachhaltigkeit in der Bankenbranche

$17.99

The Palgrave Handbook of Global Fantasy

$169.00