3 Results Found For The Search Yassine Lakhnech

When you find the book you're looking for click the "compare prices" link on the right side.

Concurrency verification: introduction to compositional and noncompositional methods Author(s): Willem-Paul de Roever,Frank de Boer,Ulrich Hanneman,Jozef Hooman,Yassine Lakhnech,Mannes Poel,Job Zwiers Published: January 2001 ISBN 13: 9780521806084 ISBN 10: 0521806089 Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science) Author(s): Published: December 2004 ISBN 13: 9783540231677 ISBN 10: 3540231676 Tool Support for System Specification, Development and Verification (Advances in Computing Sciences) Author(s): Published: April 1999 ISBN 13: 9783211832820 ISBN 10: 3211832823   Author(s): Published: ISBN 13: ISBN 10: