All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher 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)
product image
product image
product image
product image

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)

53.49 EUR

Marke: Springer
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert 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)

53.49 EUR 53.49 EUR
24-04-2026 05:43:22
Access to the deal

Gesponsert Types for Proofs and Programs

53.49 EUR 53.49 EUR
24-04-2026 08:30:49
Access to the deal

Ähnliche Produkte

Types for Proofs and Programs

53.49 EUR
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)

53.49 EUR
Produkt anzeigen

Types for Proofs and Programs

53.49 EUR
Produkt anzeigen

Types for Proofs and Programs

42.40 EUR 53.49 EUR
Produkt anzeigen