Logics of Programs
Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science)
Edición de la obra Logics of Programs
| Autor | Rohit Parikh |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 1, 1985 |
| Idioma | inglés |
| Páginas | 436 |
| Formato | Paperback |
| ISBN-13 | 9783540156482 |
| ISBN-10 | 3540156488 |
| Número de Cutter | P231l |