Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
von:
Michael Leuschel
·
Heike Wehrheim
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-00254-0
ISBN-10: 3-642-00254-4
Springer
· 2009
