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