Сводный каталог книг

w10=
Найдено документов в текущей БД: 1
   З973
   B26

    A Survey of Vertification Techniques for Parallel Programs
[Text] : монография. 191 / Howard Barringer; Edited by G.Goos and J.Hartmanis. - Berlin ; Heidelberg ; New York : Springer-Verlag, 1985. - 115 p. - (Lecture Notes in Computer Science ). - 10.21 р.


Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)