| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 | | 978-3-540-65493-3 | 1998 | Hans Langmaack · Amir Pnueli |
| Current Trends in Concurrency: Overviews and Tutorials | | 978-3-540-16488-3 | 1986 | Jacobus W. De Bakker · Grzegorz Rozenberg |
| 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 · Marcello M. Bonsangue · Susanne Graf |
| 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 | Marcello M. Bonsangue · Susanne Graf |
| 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 | Frank S. de Boer · 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 | Frank S. de Boer · Marcello M. Bonsangue · Susanne Graf |
| 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 · Marcello M. Bonsangue · Susanne Graf |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd | | 978-3-540-58468-1 | 1994 | Hans Langmaack · Jan Vytopil |
| Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 | | 978-3-540-51080-2 | 1989 | Jacobus W. de Bakker · Grzegorz Rozenberg |
| Programming Concepts and Methods: Procomet 98 | | 978-0-412-83760-9 | 1998 | David Gries |
| Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | | 978-3-540-52559-2 | 1990 | Jaco W. de Bakker · Grzegorz Rozenberg |