Книга "First-Order Dynamic Logic".
First-Order Dynamic Logic D. Harel
Подробная информация о книге «First-Order Dynamic Logic D. Harel». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «First-Order Dynamic Logic D. Harel»
Подробная информация о книге «First-Order Dynamic Logic D. Harel». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «First-Order Dynamic Logic D. Harel»
Книга "First-Order Dynamic Logic".
| Полное название книги | D. Harel First-Order Dynamic Logic |
| Автор | D. Harel |
| Ключевые слова | компьютерные технологии, разработка и алгоритмы |
| Категории | Компьютеры и Internet |
| ISBN | 9783540092377 |
| Издательство | Springer Nature Customer Service Center LLC |
| Год | 1979 |
| Название транслитом | first-order-dynamic-logic-d-harel |
| Название с ошибочной раскладкой | first-order dynamic logic d. harel |