AKTUELLE PARTNERANGEBOTE
Certified Programming with Dependent Types
Certified Programming with Dependent Types. Adam Chlipala. Taschenbuch. Taschenbuch
1 Angebote · ab 54,99 € gemeldete Gesamtkosten
UNABHÄNGIG VERGLEICHEN. KLAR ENTSCHEIDEN.
Finde das Produkt,
das wirklich zu dir passt.
Produkte, Preise, Versand und Händler in einer klaren Suche.
● freigeschaltete Partnerprogramme● Versand und Kosten sichtbar● Bewertungen nur mit Herkunft