Вы здесь
Formal methods, structured techniques, and security - A unified methodology
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1995
Ключевые слова:
Стр.:
85 p.
Библиография:
Bibliogr.: p.56-57
Место издания:
Номер:
DITC 235/95
Карточка:
Б3.52, Б5.14.
Lovering A..
Formal methods, structured techniques, and security - A unified methodology-Teddington, Middlesex., 1995.-85 p.-(Препринт National Physical Lab. №DITC 235/95).
Bibliogr.: p.56-57
Таблица в старой библиотеке:
PREP2 202