Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2000. gada 29. septembris |
| ISBN13 | 9780262527668 |
| Izdevēji | MIT Press Ltd |
| Lapas | 476 |
| Izmēri | 229 × 181 × 34 mm · 734 g |
| Valoda | Angļu |