Interactive Theorem Proving and Program Development von Pierre Castéran und Yves Bertot (2004, Gebundene Ausgabe)


UNSERE TOP-AUSWAHL

EUR 80,20

(inkl. MwSt.)
Stückzahl
2 verfügbar
Artikelzustand
Neu
Verkauft von
ultibuch_de | Gewerblicher Verkäufer (102060)100,0% positive Bewertungen
Rücknahmen
Käufer trägt die Rücksendekosten