Composing Specifications in VSPEC | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Venkataraman A.

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

1

Вид:

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

Год:

2000

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

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

формальный

язык спецификаций

Стр.:

P.45-53

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

Bibliogr.: p.53

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

Издательство:

IEEE Computer Society

Источник:

Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000

Карточка:

Б3.5, Б3.51.

Venkataraman A., Rangarajan M., Alexander P..

Composing Specifications in VSPEC-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.45-53
Bibliogr.: p.53

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

PAP22 377