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

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)
Paperback Book
Concurrency Verification: Introd...
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)
Hardcover Book
Concurrency Verification: Introd...
Roever, Willem-Paul de (Christia...