Principles of Model Checking - Baier, Christel
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
308,99 €
Occasion · Bon État
Ou 77,25 € /mois
- Livraison : 25,00 €
- Livré entre le 26 mai et le 1 juin
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.
- 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 Principles Of Model Checking Format Relié - Livre Informatique
0 avis sur Principles Of Model Checking Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Molyneux
Occasion dès 78,95 €
-
Vertigo Of Color
Neuf dès 60,00 €
-
In The American West 40th Anniversary Edition
1 avis
Neuf dès 86,63 €
Occasion dès 191,24 €
-
Le Mans
Neuf dès 69,82 €
Occasion dès 129,99 €
-
Louise Bourgeois & Pablo Picasso - Anatomies Of Desire - Hauser & Wirth, 2019
Occasion dès 48,90 €
-
Functions Of One Complex Variable I
Neuf dès 65,69 €
-
Don't Have Feelings, Don't Make A Scene
Neuf dès 53,90 €
-
Sports Illustrated Swimsuit Portfolio: Paradise Found
Occasion dès 67,60 €
-
Bojack Horseman
Occasion dès 43,43 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
Nuova Grammatica Pratica Della Lingua Itiliana
Occasion dès 59,90 €
-
Bmw R850, 1100 & 1150 4-Valve Twins (93 - 06) Haynes Repair Manual
Neuf dès 44,38 €
-
Ripailles
1 avis
Occasion dès 59,00 €
-
Moonwalk By Michael Jackson
2 avis
Occasion dès 70,46 €
-
The Cambridge Companion To The Problem Of Evil
Neuf dès 44,93 €
-
Nuovo Espresso 3 B1 - Libro Dello Studente E Esercizi
8 avis
Neuf dès 48,78 €
Occasion dès 48,81 €
-
Klimt, Schiele, Moser, Kokoschka
Occasion dès 71,63 €
-
L'anglais B2 - Pack Usb, Avec 1 Clé Usb
2 avis
Occasion dès 39,00 €
-
Chord Melody Method For Accordion
Neuf dès 43,99 €
-
Moonwalk
2 avis
Occasion dès 72,99 €
Produits similaires
Présentation Principles Of Model Checking Format Relié
- Livre Informatique
Résumé :
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software...
Biographie:
Christel Baier and Joost-Pieter Katoen...
Sommaire: Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
with extensive examples and both practical and theoretical exercises.
Détails de conformité du produit
Personne responsable dans l'UE