Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ... Notes in Computer Science (4260), Band 4260)
von:
Zhiming Liu
·
Jifeng He
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-47460-9
ISBN-10: 3-540-47460-9
Springer
· 2006
