Ugo de Liguoro – författare

Visar alla böcker från författaren Ugo de Liguoro.

1 produkter

1. 

   Types for Proofs and Programs

   International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

   Av Stefano Berardi, Ferruccio Damiani m. fl.

   Häftad, 2009

   739 kr

   Lägg i varukorg