Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel - Böcker
Visar alla böcker från författaren Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel.
2 produkter
2 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Häftad, Engelska, 2012
1 329 kr
Skickas inom 10-15 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Inbunden, Engelska, 2001
3 949 kr
Skickas inom 10-15 vardagar