- 5 Ergebnisse
Kleinster Preis: € 89,96, größter Preis: € 293,92, Mittelwert: € 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
Bestellen
bei amazon.com
$ 96,00
(ca. € 89,96)
Versand: € 15,881
Bestellen
Details beim Anbieter
gesponserter Link
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) - Erstausgabe

2001, ISBN: 9780521806084

Gebundene Ausgabe

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… Mehr…

Versandkosten:Real shipping costs can differ from the ones shown here. (EUR 15.88)
zuklappen (X)
2
Bestellen
bei AbeBooks.co.uk
£ 254,74
(ca. € 293,92)
Versand: € 31,661
Bestellen
Details beim Anbieter
gesponserter Link

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) - gebunden oder broschiert

2001, ISBN: 0521806089

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

NEW BOOK. Versandkosten: EUR 31.66 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)]
zuklappen (X)
3
Bestellen
bei alibris.co.uk
£ 238,59
(ca. € 274,19)
Bestellen
Details und Versand
gesponserter Link
Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - gebunden oder broschiert

2001

ISBN: 9780521806084

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

Versandkosten:zzgl. Versandkosten Bayonne, NJ, booksXpress
zuklappen (X)
4
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul
Bestellen
bei Blackwells.co.uk
£ 225,00
(ca. € 259,60)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
de Roever, Willem-Paul:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - gebunden oder broschiert

ISBN: 9780521806084

hardback, [PU: Cambridge University Press]

in stock. Versandkosten:Unknown. (EUR 0.00) Blackwells.co.uk
zuklappen (X)
5
Concurrency Verification - Collectif
Bestellen
bei Rakuten.fr
€ 160,00
Versand: € 4,991
Bestellen
Details beim Anbieter
gesponserter Link
Collectif:
Concurrency Verification - gebrauchtes Buch

ISBN: 9780521806084

Livre, [PU: Cambridge University Press]

2 Offers. Versandkosten:France. (EUR 4.99) Priceminister
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Autor:
Titel:
ISBN-Nummer:

9780521806084


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.

Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Cambridge University Press
798 Seiten
Gewicht: 1,161 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-05T20:26:25+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-29T05:12:30+01:00 (Berlin)
ISBN/EAN: 9780521806084

ISBN - alternative Schreibweisen:
0-521-80608-9, 978-0-521-80608-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: 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
Titel des Buches: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780521169325 Concurrency Verification (de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich)

< zum Archiv...