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)

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 Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941, Band 4941)

42.40 EUR
Preis aktualisiert am: 22-05-2026 10:15:26
Siehe Produktangebot

Gesponsert Types for Proofs and Programs

53.49 EUR
Preis aktualisiert am: 22-05-2026 15:41:10
Siehe Produktangebot

Gesponsert Types for Proofs and Programs, Fachbücher von Marino Miculan, Furio Honsell, Ivan Scagnetto

53.49 EUR
Preis aktualisiert am: 22-05-2026 03:13:32
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Springer

Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen.