Lecture Notes in Computer Science: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Barthe, Gilles; Fournet, Cédric

Details

Published by: Springer

Publication Date: 2008-03-18

Format: Paperback

ISBN-13: 9783540786627

DOI: 10.1007/978-3-540-78663-4

Dimensions: 235cm x155cm

Pages: 401