Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke, Dexter Kozen
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Berlin [etc.] : Springer-Verlag , 1984 |
| Физические характеристики: |
527, [1] p.
|
| Язык: | Английский |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||