| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering) | 978-3-540-74791-8 | 2007 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |
| Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering) | 978-3-540-92187-5 | 2008 | Susanne Graf · Willem-Paul de Roever |
| Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering) | 978-3-642-04166-2 | 2009 | Eric Madelaine |
| Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... / Programming and Software Engineering) | 978-3-642-17070-6 | 2011 | Frank S. de Boer · Stefan Hallerstede · Michael Leuschel |
| Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures | 978-3-540-20303-2 | 2004 | Frank S.de Boer · Susanne Graf |
| Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures | 978-3-540-22942-1 | 2004 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |
| Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering) | 978-3-540-29131-2 | 2005 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |