Ugo de Liguoro – författare
Visar alla böcker från författaren Ugo de Liguoro. Handla med fri frakt och snabb leverans.
2 produkter
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
567 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was …
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Av Ugo de Liguoro, Ferruccio Damiani m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was …
