FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku, Finland, May 2008 Proceedings: 15th International Symposium on Formal ... Notes in Computer Science (5014), Band 5014)
von
Jorge Cuellar
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-68235-6
ISBN-10: 3-540-68235-X
Springer
· 2008
