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)

Wo zu kaufen (2) Eigenschaften
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 22:03:25
Siehe Produktangebot
Gesponsert
Types for Proofs and Programs
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 04:56:14
Siehe Produktangebot

Allgemein

Marke
Herman Geuvers
ISBN
Herman Geuvers 354014031X
MPN
Herman Geuvers Illustrations

Eigenschaften

Ähnliche Produkte

Types for Proofs and Programs
Types for Proofs and Programs
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)
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)
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)
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)
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
Produkt anzeigen
Menü