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 3 et le 8 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.
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
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 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
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 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Introduction To Hilbert Spaces With Applications
Neuf dès 225,99 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
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 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Topology Via Logic
Neuf dès 103,86 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
A Court Of Thorns And Roses Paperback Box Set
Occasion dès 171,95 €
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