3 results
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Job Zwiers

  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: Compositionality, Concurrency, and Partial Correctness - Springer
    Job Zwiers
    Compositionality, Concurrency, and Partial Correctness
    Proof Theories for Networks of Processes, and Their Relationship
    02/1989
    Springer
    9783540508458 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days