Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... Notes in Computer Science, Band 5885)

Engineering

von Karin Breitman

Taschenbuch

EAN=ISBN-13: 978-3-642-10372-8

ISBN-10: 3-642-10372-3

Springer · 2009