Details zu  Interactive Theorem Proving and Program Development - Yves B ... 9783540208549

| Originalangebot aufrufen
Interactive Theorem Proving and Program Development - Yves B ... 9783540208549
Interactive-Theorem-Proving-and-Program-Development-Yves-B-9783540208549
Item Ended
Artikelzustand:
Neu
Beendet:
18. Sep. 2016 15:50:49 MESZ
Preis:
EUR 80,20
(inkl. MwSt.)
Versand:
Artikelbeschreibung lesen
Artikelstandort:
Fürstenberg, Deutschland