Tell your friends about this item:
Dynamic Logic - Foundations of Computing Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science)
Dynamic Logic - Foundations of Computing
Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science)
This book provides the first comprehensive introduction to Dynamic Logic.
476 pages
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 29, 2000 |
| ISBN13 | 9780262527668 |
| Publishers | MIT Press Ltd |
| Pages | 476 |
| Dimensions | 229 × 181 × 34 mm · 734 g |
| Language | English |