Automatic Verification of Sequential Infinite-State Processes - Burkart, Olaf
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre70,91 €
Produit Neuf
Ou 17,73 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 11 mai
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.
-
Art Of Modern Rock
2 avis
Occasion dès 50,00 €
-
Mobilier Art Deco
Occasion dès 47,00 €
-
Arda Reconstructed
Neuf dès 67,42 €
-
La Sante Interdite
Occasion dès 71,00 €
-
Bernard Frize: Longues Lignes (Souvent Fermees)
Occasion dès 55,99 €
-
My Favorite Thing Is Monsters
1 avis
Neuf dès 50,53 €
-
Bmw R1200 Twins (04 - 09) Haynes Repair Manual
Neuf dès 45,11 €
Occasion dès 80,99 €
-
The Rare Record Price Guide 2026
Neuf dès 44,66 €
-
Fleet Tactics And Naval Operations, Third Edition
Neuf dès 39,33 €
-
Lewis Carroll's Photography And Modern Childhood
Neuf dès 83,15 €
-
Shakespeare Comes To Broadmoor
Neuf dès 40,41 €
-
Complete Ielts Bands 6.5-7.5 Workbook Without Answers With Audio Cd
Neuf dès 38,71 €
-
Phenomenology Of Spirit
Neuf dès 48,69 €
Occasion dès 37,32 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Pomellato
Occasion dès 80,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Dc Finest: Superman: Kryptonite Nevermore
Neuf dès 39,19 €
-
Yngwie Malmsteen Anthology
1 avis
Neuf dès 49,99 €
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