Introduction on the Atoment language | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2010

Ключевые слова:

спецификация

программа

верификация

поиск по образцу

информационная система

язык программирования

разработка по

Стр.:

P.1-16

Выпуск:

31

Библиография:

Bibliogr.: p.15-16

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

В2.2, Б3.5.

Anureev I. S..

Introduction on the Atoment language// Bulletin of the Novosibirsk Computing Center-2010.-P.1-16-(Computer Science, Вып.31).
Bibliogr.: p.15-16

Таблица в старой библиотеке:

ISI3 142