Formal Methods in IT Security Standards - Scope for Usage | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

Колл. автор:

Вид:

Препринт

Год:

1991

Ключевые слова:

Стр.:

16 p.

Реферат:

Формальные методы в стандартах по за ите информационной технологии: сфера применения.

Место издания:

Номер:

DITC 177/91

Карточка:

Б2.53, Б5.13.

Lampard R..

Formal Methods in IT Security Standards - Scope for Usage-Teddington., 1991.-16 p.-(Препринт National Physical Lab. №DITC 177/91).

Таблица в старой библиотеке:

PREP1 130