Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... Notes in Computer Science (4789), Band 4789)
von
Michael Butler
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-76648-3
ISBN-10: 3-540-76648-0
Springer
· 2007
