Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 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 Concurrency Verification Format Broché - Livre Informatique
0 avis sur Concurrency Verification Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Pierre Bayle
Neuf dès 222,62 €
-
Thinking Is Form: The Drawings Of Joseph Beuys
Occasion dès 255,99 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,71 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 223,99 €
-
Gustave Moreau - Catalogue Sommaire Des Dessins - Musee Gustave Moreau
Occasion dès 380,00 €
-
Elementary Fluid Mechanics
Neuf dès 354,14 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
The Lord Of The Rings
Neuf dès 190,12 €
-
The New Munsell Student Color Set
Neuf dès 157,10 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 229,67 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
Produits similaires
Présentation Concurrency Verification Format Broché
- Livre Informatique
Sommaire:
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text....
Détails de conformité du produit
Personne responsable dans l'UE