Ориентированный на верификацию язык C-light

Вы здесь

Автор:

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

Вид:

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

Год:

2004

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

Стр.:

С.51-134

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

Библиогр.: c.112-113

Место издания:

Серия:

Источник:

Номер:

Карточка:

Б3.15, Б2.23.

Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В..

Ориентированный на верификацию язык C-light-Новосибирск.// Системная информатика, 2004, №9.-С.51-134-(Системная информатика).
Библиогр.: c.112-113

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

ISI2 661