Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science, Band 7152)

Philadelphia

von: Rajeev Joshi · Peter Müller · Andreas Podelski

Taschenbuch

EAN=ISBN-13: 978-3-642-27704-7

ISBN-10: 3-642-27704-7

Springer · 2012