Formal 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)

Netherlands

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

Taschenbuch

ISBN-13: 978-3-540-20303-2

ISBN-10: 3-540-20303-6

Springer · 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: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science, Band 3657)