Вы здесь

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
p.375-394
Библиография: 
Bibliogr.: p.392-394
Место издания: 
Источник: 
Карточка: 

Б2.2, Б2.1, Б3.5.

Reed J. N., Sinclair J. E., Guigand F..

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development-London, Berlin.// IFM 99, 1999.-p.375-394
Bibliogr.: p.392-394

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