The book is currently out of stock
Parameters
Book purchase
Computer verification of algorithms using a formal proof system, Markus Kaiser
- Language
- Released
- 2010
We’ll notify you via email once we track it down.
Payment methods
- Title
- Computer verification of algorithms using a formal proof system
- Language
- English
- Authors
- Markus Kaiser
- Publisher
- dissertation.de
- Released
- 2010
- ISBN10
- 3866244835
- ISBN13
- 9783866244832
- Series
- Dissertation.de
- Category
- Computers, IT, Programming