An Introduction to Practical Formal Methods Using Temporal Logic - Fisher, Michael
- Format: Relié
- 360 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
36,33 €
Produit Neuf
Ou 9,08 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
-
130,74 €
Produit Neuf
Ou 32,69 € /mois
- Livraison à 0,01 €
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9780470027882_dbm
-
139,56 €
Produit Neuf
Ou 34,89 € /mois
- Livraison : 3,99 €
- Livré entre le 28 et le 30 juillet
-
155,49 €
Produit Neuf
Ou 38,87 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
-
187,94 €
Produit Neuf
Ou 46,99 € /mois
- Livraison : 5,00 €
- Livré entre le 26 et le 29 juillet
Exp¿di¿ en 6 jours ouvr¿s
- 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 Format Relié - Livre
0 avis sur An Introduction To Practical Formal Methods Using Temporal Logic Format Relié - Livre
Donnez votre avis et cumulez 5
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 Format Relié
- LivreAuteur(s) : Fisher, MichaelEditeur : John Wiley & SonsLangue : AnglaisParution : 01/06/2011Format : Moyen, de 350g à 1kgNombre de pages : 360Expédition : 781Dimensions : 25.1 x 17.7 x...
Résumé :
.
Biographie:
.
Sommaire:
.
Critique:
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