Jozef Hooman - Böcker
Visar alla böcker från författaren Jozef Hooman.
2 produkter
2 produkter
Concurrency Verification
Av 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, Jozef Hooman
Inbunden, Engelska, 2001
4 739 kr
Skickas inom 5-8 vardagar
Del 558 - Lecture Notes in Computer Science
Specification and Compositional Verification of Real-Time Systems
Av Jozef Hooman
Häftad, Engelska, 1991
729 kr
Skickas inom 7-10 vardagar