Verification
Theory and Practice
Edición de la obra Verification
| Autor | Nachum Dershowitz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 14, 2004 |
| Idioma | inglés |
| Páginas | 783 |
| Formato | Paperback |
| ISBN-13 | 9783540210023 |
| ISBN-10 | 3540210024 |
| Número de Cutter | D438v |