| 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 | Marcello M. Bonsangue · 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 Survey | | 978-3-642-04166-2 | 2010 | Marcello M. Bonsangue · 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 | Marcello M. Bonsangue · 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 | 2008 | Willem-Paul de Roever · Susanne Graf · Marcello Bonsangue |
| 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 | Marcello M. Bonsangue · 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 | Marcello M. Bonsangue · Susanne Graf · Willem-Paul de Roever |
| Verification of Sequential and Concurrent Programs | | 978-1-84882-744-8 | 2009 | Krzysztof R. Apt · Ernst-Rüdiger Olderog |