Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, ... Notes in Computer Science (2885), Band 2885)
von:
Jim Woodcock
·
Jin Song Dong
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-20461-9
ISBN-10: 3-540-20461-X
Springer
· 2008
