Вы здесь

Finite Model Generation and Formal Specification Development

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.441-446.
Библиография: 
Bibliogr.: p.446
Место издания: 
Карточка: 

Б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