Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
218,99 €
Produit Neuf
Ou 54,75 € /mois
- Livraison : 25,00 €
- Livré entre le 2 et le 7 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- 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.
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
The Rainbow
Neuf dès 105,43 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Filmer
Neuf dès 119,48 €
-
Introduction To Hilbert Spaces With Applications
Neuf dès 225,99 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Norton Book Of Friendship
Neuf dès 140,30 €
-
Common Sense
Occasion dès 115,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Biochemistry
1 avis
Occasion dès 119,99 €
-
Art+Com
Occasion dès 155,99 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
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