Lecture Notes in Computer Science: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Kaufmann, Matt; Paulson, Lawrence C.

Details

Published by: Springer

Publication Date: 2010-06-30

Format: Paperback

ISBN-13: 9783642140518

DOI: 10.1007/978-3-642-14052-5

Dimensions: cm xcm

Pages: 495