Sell, buy or rent Jozef Hooman textbooks

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

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521806084
ISBN-10: 0521806089
Edition: 1
Publication date: 2001
Publisher: Cambridge University Press
Format: Hardcover 800 pages

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)

by Jozef Hooman
ISBN-13: 9783540549475
ISBN-10: 3540549471
Edition: 1991
Publisher: Springer
Format: Paperback 252 pages

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

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521169325
ISBN-10: 0521169321
Edition: 1
Publication date: 2012
Publisher: Cambridge University Press
Format: Paperback 800 pages