Dynamic Logic
Edición de la obra Dynamic Logic
| Autor | David Harel, Dexter Kozen, Jerzy Tiuryn |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2000 |
| Idioma | inglés |
| Páginas | 476 |
| ISBN-13 | 9780262263023 |
| Número de Cutter | H275d |
Edición de la obra Dynamic Logic
| Autor | David Harel, Dexter Kozen, Jerzy Tiuryn |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2000 |
| Idioma | inglés |
| Páginas | 476 |
| ISBN-13 | 9780262263023 |
| Número de Cutter | H275d |