Unfoldings - A Partial-Order Approach To Model Checking de Esparza José Javier Format Beau livre

Unfoldings - A Partial-Order Approach To Model Checking - Esparza José Javier

Collection: EATCS Monographs on Theoretical Computer Science
Format: Beau livre

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

162,77 €

Produit Neuf

Ou 40,69 € /mois

Livraison à 0,01 €
Livré entre le 25 juillet et le 6 août

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540774259_dbm

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Unfoldings - A Partial - Order Approach To Model Checking de Esparza José Javier Format Beau livre - Livre Mathématiques

Note : 0 0 avis sur Unfoldings - A Partial - Order Approach To Model Checking de Esparza José Javier Format Beau livre - Livre Mathématiques

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Unfoldings - A Partial - Order Approach To Model Checking de Esparza José Javier Format Beau livre
- Livre Mathématiques

Livre Mathématiques - Esparza José Javier - 01/03/2008 - Beau livre

Auteur(s) : Esparza José Javier - Heljanko Keijo

Editeur : Springer

Collection : EATCS Monographs on Theoretical Computer Science

Parution : 01/03/2008

Nombre de pages : 169

Nombre de livres : 1

Expédition : 455

Dimensions : 24.1 x 15.8 x 1.4

ISBN : 3540774254

Résumé :
Model checking is a prominent technique used in the hardware and software industries for automatic verification, While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem ? the number of reachable states grows exponentially in the number of concurrent components. In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products . unfolding products . search procedures for basic verification problems, such as reachability and livelocks . and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies. The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Unfoldings - A Partial-Order Approach To Model Checking - Esparza José Javier

Avis sur Unfoldings - A Partial - Order Approach To Model Checking de Esparza José Javier Format Beau livre - Livre Mathématiques

Présentation Unfoldings - A Partial - Order Approach To Model Checking de Esparza José Javier Format Beau livre - Livre Mathématiques

Présentation Unfoldings - A Partial - Order Approach To Model Checking de Esparza José Javier Format Beau livre
- Livre Mathématiques