Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes in Computer Science, Band 6217)

von: Gary T. Leavens · Peter O'Hearn · Sriram K Rajamani Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-15056-2 ISBN-10: 3-642-15056-X Springer · 2010