Hoppa till sidans huvudinnehåll

The Netherlands) Zwiers, Job (University of Twente, Enschede - Böcker

Visar alla böcker från författaren The Netherlands) Zwiers, Job (University of Twente, Enschede.
2 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