2 Results Found For The Search Job Zwiers

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

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship (Lecture Notes in Computer Science) Author(s): Job Zwiers Published: April 1989 ISBN 13: 9780387508450 ISBN 10: 0387508457 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   Author(s): Published: ISBN 13: ISBN 10: