Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science (3657), Band 3657)

Netherlands

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

Taschenbuch

EAN=ISBN-13: 978-3-540-29131-2

ISBN-10: 3-540-29131-8

Springer Berlin Heidelberg · 2008
Siehe auch:
2009TaschenbuchFormal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures (Lecture Notes in Computer Science, Band 3188)
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)