1 E-böcker av Ugo de Liguoro
Stefano Berardi & Ferruccio Damiani: Types for Proofs and Programs
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 …
PDF
Engelska
DRM
€56.99
