Design and Implementation of the Formal Specification Acquisition System SAQ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2000

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

формальный

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

верификация

Стр.:

P.201-211

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

Bibliogr.: p.208

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

Источник:

16th World Computer Congress 2000

Карточка:

Б3.54.

Yunmei D., Kaide L., Haiming Ch., Yongqian H., Ruiling Z., Ruqing T., Zhanyong W., Ziming Ch..

Design and Implementation of the Formal Specification Acquisition System SAQ-Beijing.// 16th World Computer Congress 2000, 2000.-P.201-211
Bibliogr.: p.208

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

PAP22 581