Вы здесь
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