Formal Methods in Practice: The Missing Links. A Perspective from the Security Area | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

2001

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

формальный

безопасность

технология программирования

Стр.:

P.169-180

Библиография:

Bibliogr.: p.180

Источник:

Lecture Notes in Computer Science

Том:

2067

Карточка:

Б3.5, Б2.4, Б2.1.

Bolignano D., Le Metayer D., Loiseaux C..

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area// Lecture Notes in Computer Science-2001.-Vol. 2067.-P.169-180
Bibliogr.: p.180

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

PAP23 970