Вы здесь
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.482-500.
Библиография:
Bibliogr.: p.499-500
Издательство:
Источник:
Том:
670
Карточка:
А3.22, Б3.54, Б2.23.
Owre S., Rushby J., Shankar N., Von Henke F..
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned: Springer// Lecture Notes in Computer Science-1993.-Vol. 670.-P.482-500.
Bibliogr.: p.499-500
Таблица в старой библиотеке:
PAP5 814