Вы здесь
ESPRIT BRA 3104: Provably Correct Systems ProCos Interim Deliverable
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1990
Ключевые слова:
Стр.:
57 p.
Библиография:
Bibliogr.: p.52-57.
Место издания:
Номер:
ID/DTH DB 8/5
Карточка:
Б3.33, Б3.54.
Bjorner D..
ESPRIT BRA 3104: Provably Correct Systems ProCos Interim Deliverable-Lyngby., 1990.-57 p.-(Препринт Techn.Univ.Denmark №ID/DTH DB 8/5).
Bibliogr.: p.52-57.
Таблица в старой библиотеке:
PREP1 624