Più di un milione di libri, a un clic di distanza!
Bookbot
Il libro è attualmente esaurito

Computer verification of algorithms using a formal proof system

Parametri

Acquisto del libro

Computer verification of algorithms using a formal proof system, Markus Kaiser

Lingua
Pubblicato
2010
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione