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

Correct System Design

Correct System Design

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

This book is dedicated to Professor Ernst--Rdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Unternehmenskultur und Fhrung

$44.99

Was sind und was sollen die Zahlen?. Stetigkeit und Irrationale Zahlen

$49.99

Female Leaders - Fhren Frauen anders?

$39.99

Rheumatoid Arthritis and Proteus

$109.99

The Danube River Delta

$109.99

Daten und Statistik

$39.99

Arbeitszeitstudien an Haushaltswaschmaschinen

$59.99

Sexting and Young People

$39.99

Women in Medicine in Nineteenth-Century American Literature

$84.99

Biocommunication of Ciliates

$169.99

Homotopy Invariant Algebraic Structures on Topological Spaces

$44.99

Die Kohlenstoffernhrung des Waldes I

$59.99

Advancing Women in Engineering

$99.00

Complex Anorectal Disorders

$109.00

Ennius im Urteil der Antike

$49.99

The Molecular Genetics of Lung Cancer

$169.99

Product-Focused Software Process Improvement

$39.99

In eigener Regie

$59.99

Heterocyclic Antitumor Antibiotics

$169.00

Beitrge zur Behandlung der Retentio Secundinarum und Ihrer Nachkrankheiten

$54.99

Europisch verbunden und national gebunden

$34.99

Hygiene bei der Entsorgung von Siedlungsabfllen

$44.99

Analog Device-Level Layout Automation

$169.99

Learning Analytics: Fundaments, Applications, and Trends

$179.99

Objects, Components, Models, Patterns

$54.99

Essays on Levinas and Law

$54.99

Rehabilitation von spezifischem Gewebe

$17.99

Handbuch der Umweltvernderungen und kotoxikologie

$129.99

Rewriting Techniques and Applications

$44.99

Protein'Ligand Interactions

$169.00

Beitrge zur Frage der Stockwerk-Tektonik im Ruhrkohlengebiet IV

$49.99

The Elderly in 2005: Health and Care

$219.99

Peach Trees

$3.71

Proceedings of the Third Conference on Origins of Life

$84.99

Specific Intermolecular Interactions of Element-Organic Compounds

$54.99

Cryptographic Hardware and Embedded Systems -- CHES 2011

$54.99

Public Health at the Border of Zimbabwe and Mozambique, 18901940

$84.99

Translation and Interpreting in the Age of COVID-19

$109.00

Feminism, Breasts and Breast-Feeding

$54.99

Chinese Computational Linguistics

$54.99