Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures (Lecture Notes in Computer Science (3188), Band 3188)

Netherlands

von: Frank S. de Boer · Susanne Graf · Marcello M. Bonsangue · Willem-Paul de Roever

Taschenbuch

ISBN: 978-3-540-22942-1

ISBN-10: 3-540-22942-6

Springer · 2009
Siehe auch:
2008TaschenbuchFormal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science (2852), Band 2852)
2008TaschenbuchFormal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science, Band 3657)