Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de septiembre de 2000 |
| ISBN13 | 9780262527668 |
| Editores | MIT Press Ltd |
| Páginas | 476 |
| Dimensiones | 229 × 181 × 34 mm · 734 g |
| Lengua | Inglés |