Основания языков программирования
Книга «Основания языков программирования» написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит посте...
Сохранить в:
| Автор: | |
|---|---|
| Другие авторы: | |
| Тип документа: | Книга |
| Язык: | Russian |
| Год издания: |
Регулярная и хаотическая динамика
2010
|
| Online-ссылка: | http://eanbur.unatlib.ru/handle/123456789/28461 |
| Ключевые слова: |