3 Results Found For The Search Jozef Hooman

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 Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science) Author(s): Jozef Hooman Published: December 1991 ISBN 13: 9783540549475 ISBN 10: 3540549471   A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) Author(s): Jozef Hooman Published: 1988 ISBN 13: ISBN 10: B00071OW0G   Author(s): Published: ISBN 13: ISBN 10: