Hoppa till sidans huvudinnehåll

Jozef Hooman – författare

Visar alla böcker från författaren .
3 produkter
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad
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 429 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Inbunden
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 059 kr

Skickas inom 7-10 vardagar

Jozef Hooman - Specification and Compositional Verification of Real-Time Systems, Häftad

Specification and Compositional Verification of Real-Time Systems

AvJozef Hooman

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar