Formal Description Techniques and Security Standard Conformance Testing | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Колл. автор:

National Physical Lab.

Вид:

Препринт

Год:

1991

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

стандарт

формальный

описание

Стр.:

22 p.

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

Номер:

DITC 175/91

Карточка:

Б5.14.

Formal Description Techniques and Security Standard Conformance Testing-Teddington., 1991.-22 p.-(Препринт National Physical Lab. №DITC 175/91).

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

PREP1 171