Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

von Stefano Berardi Springer Berlin Heidelberg · 2009 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) EAN=ISBN-13: 978-3-642-02443-6 ISBN-10: 3-642-02443-2