Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
zł
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud...
