Job Zwiers – författare
Visar alla böcker från författaren Job Zwiers. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Häftad, Engelska, 2012
1 389 kr
Skickas inom 7-10 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Inbunden, Engelska, 2001
3 979 kr
Skickas inom 7-10 vardagar
Compositionality, Concurrency, and Partial Correctness
Proof Theories for Networks of Processes, and Their Relationship
Häftad, Engelska, 1989
719 kr
Skickas inom 10-15 vardagar