(1 resultados)
Ordenar por
ordenar por...
48,83€(IVA inc.)
Types for proofs and programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
- Miculan, M.
- 978-3-540-68084-0
- 2008-06-01