Proof and Computation
Edición de la obra Proof and Computation
| Autor | H. Schwichtenberg |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | August 1995 |
| Idioma | inglés |
| Formato | Hardcover |
| ISBN-13 | 9780387585819 |
| ISBN-10 | 0387585818 |
| Serie | Nato Asi Series F : Computer and Systems Sciences, Vol 139 |
| Número de Cutter | S415p |