Esprit BRA 3104: Provably Correct Systems ProCoS Interim Deliverable | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Techn.Univ.Denmark

Вид:

Препринт

Год:

1990

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

критический

разработка

Стр.:

57 p.

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

Bibliogr.: p.52-57

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

Карточка:

Б3.33, Б4.12.

Bjorner D..

Esprit BRA 3104: Provably Correct Systems ProCoS Interim Deliverable-Lyngby., 1990.-57 p.
Bibliogr.: p.52-57

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

PREP2 1000