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

Conference

von: Stefano Berardi · Ferruccio Damiani · Ugo de'Liguoro

Taschenbuch

EAN=ISBN-13: 978-3-642-02443-6

ISBN-10: 3-642-02443-2

Springer · 2009