Job Zwiers – författare

Visar alla böcker från författaren Job Zwiers.

3 produkter

Kategorier

3 produkter

Del 54
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
AvWillem-Paul de Roever,Frank de Boerm. fl.
Häftad, Engelska, 2012
1 709 kr
Skickas inom 5-8 vardagar
Del 54
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
AvWillem-Paul de Roever,Frank de Boerm. fl.
Inbunden, Engelska, 2001
4 819 kr
Skickas inom 5-8 vardagar
Compositionality, Concurrency, and Partial Correctness
Proof Theories for Networks of Processes, and Their Relationship
AvJob Zwiers
Häftad, Engelska, 1989
739 kr
Skickas inom 10-15 vardagar