- 5 Results
Lowest price: € 89.96, highest price: € 293.92, average price: € 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
Order
at amazon.com
$ 96.00
(aprox. € 89.96)
Shipment: € 15.881
Order
Provider details
Sponsored 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) - First edition

2001, ISBN: 9780521806084

Hardcover

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… More...

Shipping costs:Real shipping costs can differ from the ones shown here. (EUR 15.88)
close (x)
2
Order
at AbeBooks.co.uk
£ 254.74
(aprox. € 293.92)
Shipment: € 31.661
Order
Provider details
Sponsored 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) - hardcover

2001, ISBN: 0521806089

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

NEW BOOK. Shipping costs: EUR 31.66 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)]
close (x)
3
Order
at alibris.co.uk
£ 238.59
(aprox. € 274.19)
Order
Details & Shipping
Sponsored link
Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - hardcover

2001

ISBN: 9780521806084

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

Shipping costs:plus shipping costs Bayonne, NJ, booksXpress
close (x)
4
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul
Order
at Blackwells.co.uk
£ 225.00
(aprox. € 259.60)
Shipment: € 0.001
Order
Provider details
Sponsored link
de Roever, Willem-Paul:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - hardcover

ISBN: 9780521806084

hardback, [PU: Cambridge University Press]

in stock. Shipping costs:Unknown. (EUR 0.00) Blackwells.co.uk
close (x)
5
Concurrency Verification - Collectif
Order
at Rakuten.fr
€ 160.00
Shipment: € 4.991
Order
Provider details
Sponsored link
Collectif:
Concurrency Verification - used book

ISBN: 9780521806084

Livre, [PU: Cambridge University Press]

2 Offers. Shipping costs:France. (EUR 4.99) Priceminister
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Author:
Title:
ISBN:

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.

Details of the book - 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
Hardcover
Paperback
Publishing year: 2001
Publisher: Cambridge University Press
798 Pages
Weight: 1,161 kg
Language: eng/Englisch

Book in our database since 2007-06-05T14:26:25-04:00 (New York)
Detail page last modified on 2023-11-28T23:12:30-05:00 (New York)
ISBN/EAN: 9780521806084

ISBN - alternate spelling:
0-521-80608-9, 978-0-521-80608-4
Alternate spelling and related search-keywords:
Book author: 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
Book title: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition

More/other books that might be very similar to this book

Latest similar book:
9780521169325 Concurrency Verification (de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich)

< to archive...