Partial-Order Methods for the Verification of Concurrent Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 17 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540607618_dbm
- 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 Partial - Order Methods For The Verification Of Concurrent Systems Format Broché - Livre Informatique
0 avis sur Partial - Order Methods For The Verification Of Concurrent Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
Cyanotype
Neuf dès 90,31 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Canon Eos R5 Mark Ii User Guide
Neuf dès 44,77 €
-
Triumph Triples & Fours (91-04)
Neuf dès 44,29 €
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 49,50 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
Global Objects
Neuf dès 48,75 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Off The Record
Occasion dès 124,97 €
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Environmental Psychology
Neuf dès 64,71 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
-
Sartor Resartus - La Philosophie Du Vêtement Carlyle
Occasion dès 50,00 €
Produits similaires
Présentation Partial - Order Methods For The Verification Of Concurrent Systems Format Broché
- Livre Informatique
Résumé :
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Li?ge, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.
Sommaire:
Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification of safety properties.- Model checking.- Experiments.- Conclusions.
Détails de conformité du produit
Personne responsable dans l'UE