FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science, Band 6664)

von: Michael Butler · Wolfram Schulte Taschenbuch Details (Deutschland) Details (USA) (siehe auch: ) ISBN: 978-3-642-21436-3 ISBN-10: 3-642-21436-3 Springer · 2011