Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ... Notes in Computer Science (3785), Band 3785)
von:
Richard Banach ·
Kung-Kiu Lau
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-29797-0
ISBN-10: 3-540-29797-9
Springer
· 2008