Hoppa till sidans huvudinnehåll

Jozef Hooman - Böcker

Visar alla böcker från författaren Jozef Hooman.
3 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boer,Ulrich Hanneman,Jozef Hooman,Yassine Lakhnech,Mannes Poel,Job Zwiers,Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel,The Netherlands) Boer, Frank de (Universiteit Utrecht,The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen,The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen,Grenoble) Lakhnech, Yassine (Universite Joseph Fourier,The Netherlands) Poel, Mannes (University of Twente, Enschede,The Netherlands) Zwiers, Job (University of Twente, Enschede,de Roever Willem-Paul,de Boer Frank,De Roever Willem-Paul,De Boer Frank,Hanneman Ulrich

Häftad, Engelska, 2012

1 289 kr

Skickas inom 7-10 vardagar

Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boer,Ulrich Hanneman,Jozef Hooman,Yassine Lakhnech,Mannes Poel,Job Zwiers,Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel,The Netherlands) Boer, Frank de (Universiteit Utrecht,The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen,The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen,Grenoble) Lakhnech, Yassine (Universite Joseph Fourier,The Netherlands) Poel, Mannes (University of Twente, Enschede,The Netherlands) Zwiers, Job (University of Twente, Enschede,Willem-Paul de Roever,Frank de Boer

Inbunden, Engelska, 2001

3 829 kr

Skickas inom 7-10 vardagar

Specification and Compositional Verification of Real-Time Systems

AvJozef Hooman

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar