Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

International

von: Dimitra Giannakopoulou · Gwen Salaün

Taschenbuch

ISBN-13: 978-3-319-10432-4

ISBN-10: 3-319-10432-2

Springer · 2014

Siehe auch:
2014TaschenbuchSoftware Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science, Band 8702)