| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, ... Notes in Computer Science, Band 8446) | 978-3-662-44123-7 | 2014 |
| 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 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |
| 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 Papers: ... Notes in Computer Science , Band 5382) | 978-3-540-92187-5 | 2008 |
| Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures | 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 ... Notes in Computer Science, Band 6286) | 978-3-642-17070-6 | 2011 | Frank S. de Boer · 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 · Frank S. de Boer |
| 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 · Frank S. de Boer |
| 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 · Frank S. de Boer |
| 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 | 2009 | 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 | 978-3-540-29131-2 | 2008 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |
| Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ... Notes in Computer Science, Band 4468) | 978-3-540-72919-8 | 2008 | Einar Broch Johnsen |