FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, Band 5850)
von:
Ana Cavalcanti
·
Dennis Dams
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-05088-6
ISBN-10: 3-642-05088-3
Springer
· 2009
