7 Results Found For The Search Frank de Boer

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 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 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   Verification and Analysis of Logic Languages. Proceedings of the W2 post-conference Workshop. International Conference on Logic Programming. Santa Margherita Ligure, Italy, June 1994 Author(s): Frank S., Gabbrielli, Maurizio (eds) De Boer Published: January 1994 ISBN 13: ISBN 10: B000J5TCHI Ganzheitliches Informationsmanagement, Bd.2, Entwicklungsmanagement Author(s): Jörg Biethahn,Harry Mucksch,Walter Ruf,Matthias Almstedt,Frank Aschenbach,Edda de Boer Published: January 2000 ISBN 13: 9783486253122 ISBN 10: 3486253123   Author(s): Published: ISBN 13: ISBN 10: