Annex 1. Technical Annex for ESPRIT Basic Research Action 3104.ProCos. Provably Correct Systems. Final Version | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Препринт

Год:

1989

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

проектирование

надежность

Стр.:

88 p.

Карточка:

В4.12.

Annex 1. Technical Annex for ESPRIT Basic Research Action 3104.ProCos. Provably Correct Systems. Final Version-1989.-88 p.

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

PREP1 98