Gratisversand in ganz Deutschland!
Bookbot

Computer verification of algorithms using a formal proof system

Autor*innen

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.Abgeben