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)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Types for Proofs and Programs
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 13:34:10
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 22:17:04
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:48
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540617809
MPN
Springer Berlin Heidelberg 6943802

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
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
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)
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)
Aus53.49 EUR 3
Produkt anzeigen
Menü