Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science (4941), Band 4941)

Wo zu kaufen (4) Eigenschaften
Gesponsert
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941, Band 4941)
Medimops DE
42.40 EUR
Preis aktualisiert am: 23-09-2026 20:47:59
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 07:22:42
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs, Fachbücher von Marino Miculan, Furio Honsell, Ivan Scagnetto
Galaxus.de
53.49 EUR
Preis aktualisiert am: 24-09-2026 06:14:48
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 24-09-2026 23:54:25
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

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'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers (Lecture Notes in Computer Science, 1956, Band 1956)
Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers (Lecture Notes in Computer Science, 1956, Band 1956)
Aus53.49 EUR 3
Produkt anzeigen
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806, Band 806)
Aus53.49 EUR 3
Produkt anzeigen
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996, Band 996)
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996, Band 996)
Aus53.49 EUR 3
Produkt anzeigen
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657, Band 1657)
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657, Band 1657)
Aus53.49 EUR 3
Produkt anzeigen
Types for Proofs and Programs: LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France
Types for Proofs and Programs: LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France
Aus48.00 EUR 2
Produkt anzeigen
Menü