Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646, Band 2646)

Gesponsert
53.49 EUR
Preis aktualisiert am: 10-11-2026 18:45:41
Gesponsert
54.99 EUR
Preis aktualisiert am: 11-11-2026 23:40:00

Allgemein

Marke
Herman Geuvers
ISBN
Herman Geuvers 354014031X
MPN
Herman Geuvers Illustrations

Eigenschaften

Menü