-
Deutschland
Land International
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science)
Der Band aus der TYPES‑Konferenz 2008 in Turin fasst neueste Erkenntnisse zu Typensystemen, formalen Beweisen und Programmanalyse zusammen, wobei th ...
Gesponsert
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:33:08
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 13:57:02
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 23:56:24
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:52
Allgemein
Marke
Stefano Berardi
ISBN
Stefano Berardi 3642024432
MPN
Stefano Berardi Illustrations
