Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... Notes in Computer Science (3308), Band 3308)
von:
Jim Davies
·
Mike Barnett
·
Wolfram Schulte
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-23841-6
ISBN-10: 3-540-23841-7
Springer
· 2008