Вы здесь

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