Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277, Band 2277)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Types for Proofs and Programs
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 09:32:38
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277, Band 2277)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 22:12:21
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:03
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 1
ISBN
Springer Berlin Heidelberg 3540432876

Eigenschaften

Ähnliche Produkte

CLARINS Multi-Active Nuit Creme Toutes peaux 50 ml
CLARINS Multi-Active Nuit Creme Toutes peaux 50 ml
Aus37.64 EUR 12
Produkt anzeigen
RaidSonic ICY BOX Externes Gehäuse IB-1807MT-C31 M.2
RaidSonic ICY BOX Externes Gehäuse IB-1807MT-C31 M.2
Aus21.99 EUR 8
Produkt anzeigen
Siemens 5SV3344-6 FI-Schutzschalter Fehlerstromschutzschalter 40A 4-polig 30mA Typ A
Siemens 5SV3344-6 FI-Schutzschalter Fehlerstromschutzschalter 40A 4-polig 30mA Typ A
Aus29.99 EUR 7
Produkt anzeigen
CLARINS Multi-Active Nuit Creme Toutes peaux 50 ml
CLARINS Multi-Active Nuit Creme Toutes peaux 50 ml
Aus45.97 EUR 3
Produkt anzeigen
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science, 1158, Band 1158)
Aus53.49 EUR 3
Produkt anzeigen
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Lecture Notes in Computer Science, 189, Band 189)
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Lecture Notes in Computer Science, 189, Band 189)
Aus53.49 EUR 3
Produkt anzeigen
Menü