Buy Used and New StefanoBerardi Books

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)

by

ISBN 13: 9783642024436

Format: Paperback (323 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later