3 results
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Jozef Hooman

  1. Cover: Concurrency Verification - Cambridge University Press
    Willem-Paul de Roever | Frank de Boer | Ulrich Hanneman
    Concurrency Verification
    Introduction to Compositional and Non-compositional Methods
    01/2012
    Cambridge University Press
    9780521169325 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.40
    Shipment within 15-20 days
  2. Cover: Concurrency Verification - Cambridge University Press
    Willem-Paul de Roever | Frank de Boer | Ulrich Hanneman
    Concurrency Verification
    Introduction to Compositional and Non-compositional Methods
    11/2001
    Cambridge University Press
    9780521806084 (ISBN)
    Book
    Hardback
    Other editions
    €273.80
    Shipment within 15-20 days
  3. Cover: Specification and Compositional Verification of Real-Time Systems - Springer
    Jozef Hooman
    Specification and Compositional Verification of Real-Time Systems
    11/1991
    Springer
    9783540549475 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days