Model Checking - Kroening, Daniel
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
- 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 Model Checking Format Relié - Livre Informatique
0 avis sur Model Checking Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Motel Fetish
1 avis
Occasion dès 59,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
Photographs
Occasion dès 80,09 €
-
The Ghost In The Shell Book
Neuf dès 71,80 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 69,96 €
-
Soft Power And Great-Power Competition
Neuf dès 72,01 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 76,78 €
Occasion dès 66,00 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Comic Book Culture: An Illustrated History
Occasion dès 78,99 €
-
Car Racing 1965
1 avis
Neuf dès 109,00 €
-
Atlas On The Prophet's Biography
Occasion dès 110,00 €
Produits similaires
Présentation Model Checking Format Relié
- Livre Informatique
Résumé : Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—...
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
Biographie:
satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth.
The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers.
...Sommaire:
representing, for example, a hardware or software design—...
Détails de conformité du produit
Personne responsable dans l'UE