Specifying Systems - Lamport, Leslie
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre83,99 €
Occasion · Comme Neuf
Ou 21,00 € /mois
- Livraison : 25,00 €
- Livré entre le 16 et le 25 avril
- 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 Specifying Systems de Lamport, Leslie Format Broché - Livre Littérature Générale
0 avis sur Specifying Systems de Lamport, Leslie Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Ruven Afanador: Angel Gitano
Occasion dès 115,99 €
-
Logic, Language, And Meaning, Volume 2
Neuf dès 60,11 €
Occasion dès 79,45 €
-
Peter Doig
1 avis
Neuf dès 74,71 €
Occasion dès 51,58 €
-
Pierre Molinier
Occasion dès 75,00 €
-
Das Lyrische Werk
Neuf dès 123,20 €
Occasion dès 77,30 €
-
Dragon Quest 8 - Guide Stratégique Officiel
23 avis
Occasion dès 42,15 €
-
Mark Morrisroe
Neuf dès 51,58 €
Occasion dès 42,45 €
-
Robert Polidori: After The Flood
1 avis
Occasion dès 68,00 €
-
Kim Kardashian Selfish
Occasion dès 96,99 €
-
Graham Hill Scrapbook 1929 -1966
Occasion dès 110,00 €
-
A Stitch In Time
Neuf dès 85,77 €
-
77 Secrets De Mécaniciens
Neuf dès 58,04 €
Occasion dès 44,96 €
-
Woman In The Mirror
Occasion dès 44,00 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 44,00 €
-
Artemis
Occasion dès 84,29 €
-
Bikablo Émotions
1 avis
Occasion dès 44,34 €
-
L'Histoire La Vie Et Les Moeurs Et La Curiosité
Occasion dès 99,00 €
-
Key Questions In Cardiac Surgery
Neuf dès 108,15 €
-
Assassin's Quest (The Illustrated Edition)
Neuf dès 54,35 €
Produits similaires
Présentation Specifying Systems de Lamport, Leslie Format Broché
- Livre Littérature Générale
Résumé :
This long-awaited book shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system what that system is allowed to do. The emphasis here is on safety properties. The second part of the book covers more advanced topics, including liveness and fairness, real-time properties, and composition. The book's final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual. TLA+ is the language developed by the author for writing simple and elegant specifications of algorithms and protocols and for verifying the correctness of a design. The language already has proved to be a valuable aid in understanding and building concurrent and distributed systems. Tools for TLA+ syntax analysis and model checking are freely available from the Web, where you can also find supplemental materials for this book, including exercises.
Biographie:
Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. His "Time, Clocks, and the Ordering of Events in a Distributed System" paper has been honored for its enduring influence on the field. Lamport is also known for creating the LaTeX typesetting system and the best-selling book, LaTeX, Second Edition, which documents it (Addison-Wesley, 1994). Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering.
Sommaire:
["Getting started","More advanced topics","The tools","The TLA+ Language"]
©
Détails de conformité du produit
Personne responsable dans l'UE