Yassine Lakhnech - Böcker
Concurrency Verification
Av Willem-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, De Roever Willem-Paul, De Boer Frank, de Roever Willem-Paul, de Boer Frank, Hanneman Ulrich
Häftad, Engelska, 2012
1 309 kr
Concurrency Verification
Av Willem-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, Willem-Paul de Roever, Frank de Boer
Inbunden, Engelska, 2001
3 909 kr
Häftad, Engelska, 1999
729 kr
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Häftad, Engelska, 2004
729 kr
Häftad, Engelska, 2014
699 kr