Подробная информация о книге «Logics of Programs. Workshop, Yorktown Heights, NY, USA D. Kozen». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Logics of Programs. Workshop, Yorktown Heights, NY, USA D. Kozen»
With contributions by nummerous experts
| Полное название книги | D. Kozen Logics of Programs. Workshop, Yorktown Heights, NY, USA |
| Автор | D. Kozen |
| Ключевые слова | компьютерные технологии, разработка и алгоритмы |
| Категории | Компьютеры и Internet |
| ISBN | 9783540112129 |
| Издательство | Springer Nature Customer Service Center LLC |
| Год | 1982 |
| Название транслитом | logics-of-programs-workshop-yorktown-heights-ny-usa-d-kozen |
| Название с ошибочной раскладкой | logics of programs. workshop, yorktown heights, ny, usa d. kozen |