Job Zwiers - Böcker

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

Av Willem-Paul de Roever, Frank de Boer m. fl

Häftad, Engelska, 2012

1 329 kr

Skickas inom 10-15 vardagar

Del 54

Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Av Willem-Paul de Roever, Frank de Boer m. fl

Inbunden, Engelska, 2001

3 949 kr

Skickas inom 10-15 vardagar

Compositionality, Concurrency, and Partial Correctness

Proof Theories for Networks of Processes, and Their Relationship

Häftad, Engelska, 1989

729 kr

Skickas inom 10-15 vardagar