Finite Model Generation and Formal Specification Development | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1997

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

генерация

формальный

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

Стр.:

P.441-446.

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

Bibliogr.: p.446

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

Источник:

Proc. of the Twenty-fourth Intern. Conf. TOOLS ASIA

Карточка:

Б3.5, Б2.4.

Zhang J..

Finite Model Generation and Formal Specification Development-Beijing.// Proc. of the Twenty-fourth Intern. Conf. TOOLS ASIA, 1997.-P.441-446.
Bibliogr.: p.446

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

PAP17 47