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

Urban Planning in the Global South

$179.99

Pathologie

$59.99

Scientific Philosophy: Origins and Development

$169.99

Ludwig Prandtl Gesammelte Abhandlungen

$99.00

Human Well-Being and Policy in South Asia

$39.99

Software Service and Application Engineering

$54.99

The Netherlands and the United States

$54.99

Exploring Mathematical Modeling with Young Learners

$109.00

The Toarcian Oceanic Anoxic Event in the South Iberian Palaeomargin

$54.99

Learn PySpark

$54.99

My Weird School Special: Oh, Valentine, We've Lost Our Minds!

$4.46

Handbook for Heat Exchangers and Tube Banks design

$119.00

IT-Management

$37.99

Basic Simulation Models of Phase Tracking Devices Using MATLAB

$29.99

Betriebsverfassung und Unternehmenswirklichkeit

$59.99

Anwendungsorientierte Mathematik

$59.99

Logistik und Electronic Business

$59.99

Analysis fr Wirtschaftswissenschaftler und Ingenieure

$69.95

Healthcare Policies in Kazakhstan

$54.99

Secondary Ion Mass Spectrometry SIMS V

$84.99

Organic Contaminants in the Environment

$219.99

Berufliche bergnge und Employability von First-in-Family Hochschulabsolvent*innen

$74.99

Software Agent-Based Applications, Platforms and Development Kits

$39.99

Atlas of Operative Maxillofacial Trauma Surgery

$379.99

ber die dynamische Stabilitt hydraulischer Steuerungen unter Bercksichtigung der Strmungskrfte

$59.99

Sanctorius Sanctorius and the Origins of Health Measurement

$59.99

Transcriptional Control of Lineage Differentiation in Immune Cells

$169.99

Computational Electromagnetics

$109.99

Battery Management Algorithm for Electric Vehicles

$149.00

Security, Privacy, and Trust in Modern Data Management

$99.00

Partnerlosigkeit in Deutschland

$59.99

Wasserkraftausnutzung und Wasserkraftmaschinen

$59.99

Trade-Offs in Analog Circuit Design

$169.00

Technical Basis of Radiation Therapy

$109.00

Achte sterreichische rztetagung Salzburg

$59.99

Evolutionary Computing and Mobile Sustainable Networks

$169.00

Ettore Majorana

$84.99

Punishment and Ethics

$54.99

Dynamics of Adsorptive Systems for Heat Transformation

$54.99

Der erziehungswissenschaftliche Lifelong Learning-Diskurs

$44.99