- 5 Résultats
prix le plus bas: € 89,96, prix le plus élevé: € 293,92, prix moyen: € 215,53
1
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Hooman, Jozef, Lakhnech, Yassine, Poel, Mannes, Zwiers, Job
Commander
sur amazon.com
$ 96,00
(environ € 89,96)
Envoi: € 15,881
Commander
Détails du fournisseur
Lien sponsorisé
Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Hooman, Jozef, Lakhnech, Yassine, Poel, Mannes, Zwiers, Job:

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - Première édition

2001, ISBN: 9780521806084

Edition reliée

Cambridge University Press, Hardcover, Auflage: 1, 800 Seiten, Publiziert: 2001-11-26T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 5 tables 156 exercises, 1.17 kg, Computers & Technolo… Plus…

Frais d'envoiReal shipping costs can differ from the ones shown here. (EUR 15.88)
fermer(X)
2
Commander
sur AbeBooks.co.uk
£ 254,74
(environ € 293,92)
Envoi: € 31,661
Commander
Détails du fournisseur
Lien sponsorisé

Frank de Boer, Willem-Paul de Roever, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - edition reliée, livre de poche

2001, ISBN: 0521806089

[EAN: 9780521806084], New book, [SC: 31.66], [PU: Cambridge University Press], Clean and crisp and new!, Books

NEW BOOK. Frais d'envoi EUR 31.66 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)]
fermer(X)
3
Commander
sur alibris.co.uk
£ 238,59
(environ € 274,19)
Commander
Détails et expédition
Lien sponsorisé
Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - edition reliée, livre de poche

2001

ISBN: 9780521806084

Hard cover, New., Cambridge Tracts in Theoretical Computer Science. Intended for professional and scholarly audience., Cambridge, [PU: Cambridge University Press]

Frais d'envoiLivraison non-comprise Bayonne, NJ, booksXpress
fermer(X)
4
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul
Commander
sur Blackwells.co.uk
£ 225,00
(environ € 259,60)
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
de Roever, Willem-Paul:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - edition reliée, livre de poche

ISBN: 9780521806084

hardback, [PU: Cambridge University Press]

in stock. Frais d'envoiUnknown. (EUR 0.00) Blackwells.co.uk
fermer(X)
5
Concurrency Verification - Collectif
Commander
sur Rakuten.fr
€ 160,00
Envoi: € 4,991
Commander
Détails du fournisseur
Lien sponsorisé
Collectif:
Concurrency Verification - livre d'occasion

ISBN: 9780521806084

Livre, [PU: Cambridge University Press]

2 Offers. Frais d'envoiFrance. (EUR 4.99) Priceminister
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Auteur:
Titre:
ISBN:

0521806089


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. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Informations détaillées sur le livre - Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)


EAN (ISBN-13): 9780521806084
ISBN (ISBN-10): 0521806089
Version reliée
Livre de poche
Date de parution: 2001
Editeur: Cambridge University Press
798 Pages
Poids: 1,161 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-06-05T20:26:25+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-11-29T05:12:30+01:00 (Paris)
ISBN/EAN: 0521806089

ISBN - Autres types d'écriture:
0-521-80608-9, 978-0-521-80608-4
Autres types d'écriture et termes associés:
Auteur du livre: paul ulrich, zwiers, paul frank, mannes, fourier, frank mann, boer willem, röver, ulrich hannemann, job, hanneman, böer, roever, han boer, wille ulrich, yassine
Titre du livre: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9780521169325 Concurrency Verification (de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich)

< pour archiver...