Das Buch ist derzeit nicht auf Lager
Buchkauf
Computer verification of algorithms using a formal proof system, Markus Kaiser
- Sprache
- Erscheinungsdatum
- 2010
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Deutschland!
Zahlungsmethoden
Keiner hat bisher bewertet.