FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science, Band 7436)

International

von: Dimitra Giannakopoulou · Dominique Mery

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-642-32758-2

ISBN-10: 3-642-32758-3

Springer · 2012