First-order dynamic logic
Edición de la obra First-order dynamic logic
| Autor | David Harel |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1979 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 133 |
| ISBN-10 | 0387092374 |
| OCLC | 4933373 |
| LCCN | 79013118 |
| Serie | Lecture notes in computer science ; · 68 |
| Número de Cutter | H275f |