Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.83
€
103.32 лв
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud...
