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

Types for Proofs and Programs

E-Book (pdf), 248 Seiten

(0)
Erste Bewertung abgeben
This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 20...

CHF93.50

Download steht sofort bereit

E-Book (pdf)