Logics of programs
Brooklyn, June 17-19, 1985 : proceedings
Edición de la obra Logics of programs
| Autor | Rohit Parikh |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1985 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 424 |
| ISBN-10 | 0387156488 |
| OCLC | 12134885 |
| LCCN | 85012573 |
| Serie | Lecture notes in computer science ; · 193 |
| Número de Cutter | P231l |