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...
amazon.com Shipping costs:Real shipping costs can differ from the ones shown here. (EUR 15.88) Details... |
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
AbeBooks.co.uk Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)] NEW BOOK. Shipping costs: EUR 31.66 Details... |
2001, ISBN: 9780521806084
Hard cover, New., Cambridge Tracts in Theoretical Computer Science. Intended for professional and scholarly audience., Cambridge, [PU: Cambridge University Press]
alibris.co.uk |
ISBN: 9780521806084
hardback, [PU: Cambridge University Press]
Blackwells.co.uk |
Rakuten.fr |
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...
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) - hardcover2001, ISBN: 0521806089
[EAN: 9780521806084], New book, [SC: 31.66], [PU: Cambridge University Press], Clean and crisp and new!, Books
2001
ISBN: 9780521806084
Hard cover, New., Cambridge Tracts in Theoretical Computer Science. Intended for professional and scholarly audience., Cambridge, [PU: Cambridge University Press]
ISBN: 9780521806084
hardback, [PU: Cambridge University Press]
ISBN: 9780521806084
Livre, [PU: Cambridge University Press]
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
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...