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

Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

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

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

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

Scaling Topic Maps

$39.99

Peeling Random Planar Maps

$54.99

The 2011 Fukushima Daiichi Nuclear Power Plant Accident

$179.99

DNA Computing and Molecular Programming

$54.99

Lineare Algebra: Eine anwendungsorientierte Einfhrung

$39.99

Die Manager in der Sowjetzone

$59.99

Growth of High Permittivity Dielectrics by High Pressure Sputtering from Metallic Targets

$109.99

Same-Sex Desire in Victorian Religious Culture

$109.99

Early Analytic Philosophy - New Perspectives on the Tradition

$109.99

Chaos

$129.00

Introduction to Laser Physics

$39.99

Konstruktionsmethodik fr die Praxis

$19.99

Single-Cell Mutation Monitoring Systems

$39.99

Globalization and the Politics of Resistance

$109.99

Whys and Hows in Uncertainty Modelling

$109.99

Emerging Applications of Control and Systems Theory

$169.99

Dynamic Spatial Models

$219.99

Secure IP Mobility Management for VANET

$39.99

Teaching and Learning for Social Justice and Equity in Higher Education

$169.99

Health Care Reform Simplified

$24.99

Nanophotonics

$249.99

Handbook of Community Movements and Local Organizations in the 21st Century

$189.00

Assistierter Suizid: Der Stand der Wissenschaft

$89.99

Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

$39.99

Distributed Artificial Intelligence: Theory and Praxis

$169.99

The Properties of Optical Glass

$329.99

Theory of Chemical Reaction Dynamics

$129.00

Evidence-Based Counterterrorism Policy

$109.99

The Effect Evaluation of Haze Governance Policies in Hebei ProvinceBased on I-O Model

$39.99

Agroforestry: Realities, Possibilities and Potentials

$219.99

Die Klinische Rntgendiagnostik der Inneren Erkrankungen

$59.99

Theoretical Approaches to Analysis and Interpretation of Commingled Human Remains

$54.99

Stepped Care and e-Health

$84.99

Der Deutsche Bundestag im politischen System der Bundesrepublik Deutschland

$54.99

Oceanology of China Seas

$109.99

Anywhere-Anytime Signals and Systems Laboratory

$64.99

Natural Products From Marine Algae

$109.00

A Short History of the Labour Party

$54.99

John Marston's Plays

$54.99

Nichtlineare Funktionalanalysis

$44.99