The book is currently out of stock
The presentation of formal proofs
Authors
Parameters
Book purchase
The presentation of formal proofs, Martin Simons
- Language
- Released
- 1997
We’ll notify you via email once we track it down.
Payment methods
- Title
- The presentation of formal proofs
- Language
- English
- Authors
- Martin Simons
- Publisher
- Oldenbourg
- Released
- 1997
- ISBN10
- 3486242628
- ISBN13
- 9783486242621
- Series
- GMD-Bericht
- Category
- Computers, IT, Programming