Types for Proofs and Programs

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert 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)

53.49 EUR
Preis aktualisiert am: 24-05-2026 17:43:04
Siehe Produktangebot

Gesponsert Types for Proofs and Programs

53.49 EUR
Preis aktualisiert am: 24-05-2026 21:46:28
Siehe Produktangebot
Bezeichner
ISBN Herman Geuvers 354014031X
MPN Herman Geuvers Illustrations
Abmessungen / Gewicht
Hauptmerkmale
Herman Geuvers