Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science (4709), Band 4709)
von
Frank S. de Boer
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-74791-8
ISBN-10: 3-540-74791-5
Springer
· 2007
