Подробная информация о книге «Edinburgh LCF. A Mechanized Logic of Computation M. Gordon, R. Milner, C.P. Wadsworth». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Edinburgh LCF. A Mechanized Logic of Computation M. Gordon, R. Milner, C.P. Wadsworth»
Книга "Edinburgh LCF. A Mechanized Logic of Computation".
| Полное название книги | M. Gordon, R. Milner, C.P. Wadsworth Edinburgh LCF. A Mechanized Logic of Computation |
| Авторы | M. Gordon, R. Milner, C.P. Wadsworth |
| Ключевые слова | компьютерные технологии, разработка и алгоритмы |
| Категории | Компьютеры и Internet |
| ISBN | 9783540097242 |
| Издательство | Springer Nature Customer Service Center LLC |
| Год | 1979 |
| Название транслитом | edinburgh-lcf-a-mechanized-logic-of-computation-m-gordon-r-milner-c-p-wadsworth |
| Название с ошибочной раскладкой | edinburgh lcf. a mechanized logic of computation m. gordon-r. milner-c.p. wadsworth |