Willkommen. Schön, sind Sie da!
Mein Ex Libris
Nur noch heute: Rabatte, die Lust auf Sommerferien machen.
Jetzt profitieren

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...
Rabatte die Lust auf Sommerferien machen

Tiefpreis

CHF81.60

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

Wird oft zusammen gekauft

Andere Kunden kauften auch

Bewertungen & Rezensionen

Gesamtübersicht

(0)
(0)
(0)
(0)
(0)

Meine Bewertung