2 Ebooks par Marino Miculan
Furio Honsell & Marino Miculan: Foundations of Software Science and Computation Structures
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of …
PDF
Anglais
DRM
€57.88
Furio Honsell & Marino Miculan: Types for Proofs and Programs
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revise …
PDF
Anglais
DRM
€58.04
