Copied Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
