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

Formal Development of Reactive Systems

Formal Development of Reactive Systems

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

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.

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

Bildungseinrichtungen als "lernende Organisationen"?

$64.99

High Five!

$7.49

Semiconducting Silicides

$89.00

The Lytic Compartment of Plant Cells

$39.99

A Software Process Model Handbook for Incorporating People's Capabilities

$169.99

Medizinische Mikrobiologie und Infektiologie

$64.99

Sport and Physical Activity across the Lifespan

$100.00

Grundzge der Marktforschung

$59.99

Semantic Networks for Understanding Scenes

$169.99

Ocean-Atmosphere Interactions

$169.99

Lyotrope Flssigkristalle

$29.99

Etymologisches Wrterbuch der botanischen Pflanzennamen

$139.00

Fhrung und Scheitern

$9.99

Greentopia: Utopian Thought in the Anthropocene

$129.99

Schnellarbeitsstahl

$17.99

EURASIP Directory 1983

$169.99

Democratic Institutions of Undemocratic Individuals

$39.99

Wissenserwerb in Innovationsprozessen

$59.99

People, Places and Landscapes

$129.00

Zur Floren- und Vegetationsgeschichte des ungarischen Tertirs

$54.99

Cave and Karst Systems of Romania

$179.99

The Best American History Essays 2007

$109.99

Data Science for Healthcare

$129.00

Conflicting Narratives of Crime and Punishment

$139.00

The Contested Identities of Ulster Protestants

$54.99

In Mathe war ich immer schlecht

$54.99

Wissen von Kindern ber den Nationalsozialismus

$64.99

The Skin and Gene Therapy

$39.99

Erneuerung der Interessetheorie

$39.99

Beispiele

$54.99

Pro RESTful APIs

$34.99

Erfolgreiches Management internationaler Geschftsbeziehungen

$74.99

Earth Sciences in the Age of the Satellite

$109.99

A Breath of Freedom

$64.99

Vom Wesen der deutschen Universitt

$99.99

International Perspectives on Social Entrepreneurship

$109.99

Temperaturmessung in Glimmentladungen

$59.99

International Symposium on Programming

$39.99

The Human in Command

$299.99