Releases by Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany)

All2
Hardcover Book1
Paperback Book1

In stock at iMusic Show unavailable items

Cover for Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) · Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (2012)

Concurrency Verification: Introd... (2012)

Roever, Willem-Paul de (Christia...

Cover for Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany) · Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Cambridge Tracts in Theoretical Computer Science (Hardcover Book) (2001)

Concurrency Verification: Introd... (2001)

Roever, Willem-Paul de (Christia...