Willkommen. Schön, sind Sie da!
Mein Ex Libris

Types for Proofs and Programs

(0)
Erste Bewertung abgeben
This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reaso...

20%

106.00

CHF84.80

Sie sparen CHF 21.20

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband