Вы здесь

Formal Verification of Algorithms for Critical Systems

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.1-15.
Реферат: 
Формальная верификация алгоритмов для критических систем.
Библиография: 
Bibliogr.: p.14-15.
Где проводился: 
Источник: 
Номер: 
5
Том: 
16
Форум: 
Карточка: 

Б2.23, Б2.43, Б3.33, В4.24.

Rushby J., Henke F..

Formal Verification of Algorithms for Critical Systems// Software Engineering Notes-1991, №5.-Vol. 16.-P.1-15.
Bibliogr.: p.14-15.

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