Explore the latest books of this year!

The book is currently out of stock

Computer verification of algorithms using a formal proof system

Authors

Markus Kaiser

Parameters

Computers, IT, Programming

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

Edition detailsSuggest a correction