| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures ... Notes in Computer Science , Band 4111) | | 978-3-540-36749-9 | 2008 | Susanne Graf · Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures | | 978-3-540-74791-8 | 2007 |
| Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lecture ... / Programming and Software Engineering) | | 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 ... Notes in Computer Science, Band 6286) | | 978-3-642-17070-6 | 2011 | Marcello M. Bonsangue · Stefan Hallerstede · Michael Leuschel |
| Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 | | 978-3-642-25270-9 | 2011 | Bernhard K. Aichernig · Marcello M. Bonsangue |
| Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers | | 978-3-642-35886-9 | 2013 | Bernhard Beckert · Ferruccio Damiani · Marcello M. Bonsangue |
| Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures | | 978-3-642-40614-0 | 2013 | Elena Giachino · Reiner Hähnle · Marcello M. Bonsangue |
| 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 | Marcello Bonsangue · Susanne Graf · Willem-Paul de Roever |
| 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 | 2009 | Susanne Graf · Marcello M. Bonsangue · Willem-Paul de Roever |
| Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures | | 978-3-540-29131-2 | 2008 | Marcello M. Bonsangue · Susanne Graf · Willem-Paul de Roever |
| Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings | | 978-3-642-33474-0 | 2012 | Jos C.M. Baeten · Tom Ball |
| Verification of Sequential and Concurrent Programs | | 978-1-84882-744-8 | 2009 | Krzysztof Apt |