Edinburgh LCF: a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Gordon, M. |
| Опубликовано: | Berlin [etc.] : Springer-Verl. , 1979 |
| Физические характеристики: |
VI, 159 p.
|
| Язык: | Английский |
| Серия: |
Lecture notes in computer science
vol. 78 |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||