Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 274
Ft
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud...
