Das Buch ist derzeit nicht auf Lager
Computer verification of algorithms using a formal proof system
Autoren
Buchvariante
2010Buchkauf
Wir benachrichtigen dich per E-Mail.
2010Frohe Weihnachten und wunderbare Buchmomente!
2010Frohe Weihnachten und wunderbare Buchmomente!
2010