Automatic Verification of Sequential Infinite-State Processes - Burkart, Olaf
- Format: Broché Voir le descriptif
88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 27 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540639824_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Automatic Verification Of Sequential Infinite - State Processes Format Broché - Livre Informatique
0 avis sur Automatic Verification Of Sequential Infinite - State Processes Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
The Lives Of Seaweeds
Neuf dès 49,86 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
Saints At The Limits
Neuf dès 54,44 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Vandals: The Photography Of The Bikeriders
Neuf dès 52,09 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
The Oxford Handbook Of Maritime Archaeology
Neuf dès 115,11 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Design For Motion
Neuf dès 104,46 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
-
Book Of The Nsu Prima 1956-1964 Prima D - V - Iii - Iiik -
Neuf dès 48,74 €
Produits similaires
Présentation Automatic Verification Of Sequential Infinite - State Processes Format Broché
- Livre Informatique
Résumé :
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.
Sommaire:
Background.- Pushdown Processes.- Model Checking.- Equivalence Checking.- Summary and Perspectives.
Détails de conformité du produit
Personne responsable dans l'UE