15 Results Found For The Search WillemPaul de Roever

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

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) Author(s): Published: November 2004 ISBN 13: 9783540229421 ISBN 10: 3540229426 Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) Author(s): Willem-Paul de Roever,Kai Engelhardt Published: December 2008 ISBN 13: 9780521103503 ISBN 10: 0521103509 Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures (Lecture Notes in Computer Science) (v. 1536) Author(s): Published: December 1998 ISBN 13: 9783540654933 ISBN 10: 3540654933   Compositionality; The Significant Difference Author(s): Willem-Paul, Hans Langmaack, Amir Pnueli, Eds. De Roever Published: January 1997 ISBN 13: ISBN 10: B00383G95Q 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 Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science) Author(s): Published: July 1986 ISBN 13: 9783540164883 ISBN 10: 354016488X Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science) Author(s): Published: September 2006 ISBN 13: 9783540367499 ISBN 10: 3540367497 Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture ... / Programming and Software Engineering) Author(s): Published: February 2008 ISBN 13: 9783540747918 ISBN 10: 3540747915 Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture ... / Programming and Software Engineering) Author(s): Published: October 2005 ISBN 13: 9783540291312 ISBN 10: 3540291318 Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) Author(s): Published: 1994 ISBN 13: 9783540584681 ISBN 10: 3540584684   Author(s): Published: ISBN 13: ISBN 10: