| Shelfclass_id | 3.D.1 |
| Sortkey | HAREL, DAVID |
| Authors | David Harel, Dexter Kozen, Jerzy Tiuryn |
| Title | Dynamic Logic |
| Publisher | MIT Press |
| Year | 2000 |
| Languages | eng |
| Isbn | 0262082896 |
| Series | Foundations of computing |
| Description | (alk. hc) xv, 459 p. ill. 23 cm |
| Record date | 20060713 |
| Location | Cambridge, Mass. |
| Keywords | Computer logic, Formal methods (Computer science) |