Вы здесь
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.183-195.
Библиография:
Bibliogr.: p.193-195
Издательство:
Источник:
Том:
670
Карточка:
Б2.2, Б3.33, Б3.5.
Bowen J., Stavridou V..
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective: Springer// Lecture Notes in Computer Science-1993.-Vol. 670.-P.183-195.
Bibliogr.: p.193-195
Таблица в старой библиотеке:
PAP5 798