Полное описание

R/6006/13548 EN/1
The programming and proof system ATES : сборник научных трудов / сост.ed. A. Puccetti. - Berlin[etc.] : Springer, 1991. - 341 p. : ill. - (Rapport / EURATOM ; 13548 EN) (Research report ESPRIT.Project 1158,ATES / Europ.strategic programme for research and development in inform.technology ; vol.1). - ISBN 3-540-54188-8 : 6000.00 р. - Текст : непосредственный.
Библиогр.в конце статей
Перевод заглавия: Программирование и доказательство в системе ATES

ГРНТИ	УДК
50.05.13	004.42(062)
	004.415.53(062)

Рубрики:
Программирование для ЭВМ -- Съезды и конференции
Программы-тесты для ЭВМ -- Съезды и конференции

Кл.слова (ненормированные): программирование -- программа-тест
Доп. точки доступа:
Puccetti, A.\ed.\

Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:

Заказать издание
Заказ фрагмента документа ₽