An Introduction to Practical Formal Methods Using Temporal Logic - Michael Fisher
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre148,38 €
Produit Neuf
Ou 37,10 € /mois
- Livraison : 3,99 €
- Livré entre le 31 juillet et le 6 août
- 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 An Introduction To Practical Formal Methods Using Temporal Logic de Michael Fisher Format Relié - Livre
0 avis sur An Introduction To Practical Formal Methods Using Temporal Logic de Michael Fisher Format Relié - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation An Introduction To Practical Formal Methods Using Temporal Logic de Michael Fisher Format Relié
- Livre
Résumé :
.
Biographie:
.
Sommaire:
.
The strength of the book is the nice mixture of a pleasant to read and gentle presentation of the underlying concepts together with detailed tool descriptions (focused on a user's point of view). This book is perfectly suited for a course at senior undergraduate or beginning graduate level. (Zentralblatt MATH, 1 December 2012) I highly recommend this book, both for formal methods in general and for temporal logic in particular. It will remain within my easy reach for a long time. (Computing Reviews, 1 December 2011)
Détails de conformité du produit
Personne responsable dans l'UE