Stefan Berghofer - Böcker

Visar alla böcker från författaren Stefan Berghofer.
1 produkt
Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

Av Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar