Proof technology and computation
- Författare
- Germany) NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf
- (Edited by Helmut Schwichtenberg and Katharina Spies.)
- Genre
- Electronic books., Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| IOS Press | c2006 | Nederländerna, Amsterdam, Washington, DC | vii, 445 sidor. |