| Titel | Art | | 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 | Taschenbuch | | 978-3-540-65493-3 | 1998 | Hans Langmaack · Amir Pnueli |
| Concurrency Verification: Introduction to Compositional and Noncompositional Methods | Paperback | | 978-0-521-16932-5 | 2011 |
| Concurrency Verification: Introduction to Compositional and Non-compositional Methods | Hardcover | | 978-0-521-80608-4 | 2001 | Frank de Boer · Ulrich Hanneman · Jozef Hooman · Yassine Lakhnech · Mannes Poel · Job Zwiers |
| Current Trends in Concurrency: Overviews and Tutorials | Taschenbuch | | 978-3-540-16488-3 | 2008 | Grzegorz Rozenberg · Jacobus W. De Bakker |
| Data Refinement: Model-Oriented Proof Methods and their Comparison | Paperback | | 978-0-521-10350-3 | 2009 |
| Data Refinement: Model-Oriented Proof Methods and their Comparison | Hardcover | | 978-0-521-64170-8 | 1998 | Kai Engelhardt |
| 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) | Taschenbuch | | 978-3-540-36749-9 | 2008 | Frank S. de Boer · Susanne Graf · Marcello M. Bonsangue |
| 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 | Marcello Bonsangue · Susanne Graf · Frank S.de Boer |
| 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 · Marcello M. Bonsangue |
| 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 · Marcello M. Bonsangue · Susanne Graf |
| Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... Notes in Computer Science , Band 863) | " | | 978-3-540-58468-1 | 2009 | 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 ... Notes in Computer Science , Band 354) | " | | 978-3-540-51080-2 | 2008 | Grzegorz Rozenberg · Jacobus W. de Bakker |
| Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods 8-12 ... in Information and Communication Technology) | Hardcover | | 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 | Taschenbuch | | 978-3-540-52559-2 | 1990 | Jaco W. de Bakker · Grzegorz Rozenberg |