Explore the latest books of this year!
Bookbot

Computer verification of algorithms using a formal proof system

Book purchase

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

Language
Released
2010
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating