Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - Primera edición
2001, ISBN: 9780521806084
Pasta dura
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… Más…
amazon.com Gastos de envío: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) - encuadernado, tapa blanda
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. Gastos de envío: EUR 31.66 Details... |
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - encuadernado, tapa blanda
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 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - encuadernado, tapa blanda
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) - Primera edición
2001, ISBN: 9780521806084
Pasta dura
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… Más…
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) - encuadernado, tapa blanda2001, ISBN: 0521806089
[EAN: 9780521806084], New book, [SC: 31.66], [PU: Cambridge University Press], Clean and crisp and new!, Books
ISBN: 9780521806084
Livre, [PU: Cambridge University Press]
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - 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
Tapa dura
Tapa blanda
Año de publicación: 2001
Editorial: Cambridge University Press
798 Páginas
Peso: 1,161 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-06-05T20:26:25+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-11-29T05:12:30+01:00 (Madrid)
ISBN/EAN: 0521806089
ISBN - escritura alterna:
0-521-80608-9, 978-0-521-80608-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: 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
Título del libro: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9780521169325 Concurrency Verification (de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich)
< para archivar...