Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3085, Band 3085)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Types for Proofs and Programs
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 06:55:00
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3085, Band 3085)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 22:07:51
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:07
Siehe Produktangebot

Allgemein

Marke
Stefano Berardi
ISBN
Stefano Berardi 9783540221647

Eigenschaften

Ähnliche Produkte

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science)
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
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)
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)
Aus53.49 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
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
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Aus53.49 EUR 1
Produkt anzeigen
Menü