Das Buch ist derzeit nicht auf Lager

Interactive Theorem Proving

Autoren

Christian Urban

Parameter

Kategorien

Buchkauf

Interactive Theorem Proving, Christian Urban

Sprache
Erscheinungsdatum: 2015

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge