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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Giving Hope: The Journey of the For-Purpose Organisation and Its Quest for Success
$44.99
Positive Family Therapy
$54.99
Produktionswirtschaft 2000
$44.99
Synthesis and Backward Reference in Husserl's Logical Investigations
$169.99
International Adoption and Clinical Practice
$39.99
Celebrity and Mediated Social Connections
$84.99
Weshalb die Industrie der Rieer'schen Parole Kampf gegen Rechts nicht folgen soll
$54.99
Topology of Superconductors
$159.99
How to Start and Run Your Own Business
$39.99
Umweltschutz im globalen Wettbewerb
$34.99
Contesting Kurdish Identities in Sweden
$39.99
Osteonecrosis of the Femoral Head
$54.99
Jugendliches Risikoverhalten
$37.99
Flora der Schweiz und angrenzender Gebiete Bd 3: Plumbaginaceae - Compositae - Literaturverzeichnis
$54.99
Therapeutic Immunosuppression
$39.99
Hilbert-Huang Transform Analysis of Hydrological and Environmental Time Series
$129.00
Trocknungstechnik
$69.99
Mnnliche Sexualitt
$49.99
Renormalization of Quantum Field Theories with Non-linear Field Transformations
$39.99
Immunophenotyping
$249.99
Greening in the Red Zone
$189.00
Goldie Blox: Goldie Blox and the Best Friend Fail
$5.24
Grenzzustnde des Erddruckes auf Sttzmauern
$54.99
Betriebswirtschaftliche Analyse von Insolvenzen bei mittelstndischen Einzelhandlungen
$59.99
Granulomatous diseases in Otorhinolaryngology, Head and Neck
$169.99
Handbook of the Sociology of Racial and Ethnic Relations
$39.99
Light Reaction Path of Photosynthesis
$109.99
Random Ordinary Differential Equations and Their Numerical Solution
$119.00
Current Developments in Psychopharmacology
$39.99
Alterspsychotherapie und klinische Gerontopsychologie
$54.99
The Collected Works of L. S. Vygotsky
$279.99
The Adventures of Midnight Son
$5.21
Bioreaktoren und periphere Einrichtungen
$89.99
Advances in Artificial Intelligence
$54.99
Durch Luhmanns Brille
$39.99
Space and Beyond
$59.99
Modelling and Applications of Transport Phenomena in Porous Media
$169.99
Mining Taxation
$64.99
House Rating Schemes
$84.99
Sputtering by Particle Bombardment
$259.00
