З 973.2 P93 З 973.2 / P93-02 ВМИ Program semantics, specification and verification : theory and applications : PSI 19 [Text] : 12th A. P. Ershov informatics conference : X workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts / editors V. A. Zakharov [et al.]. - Novosibirsk : A. P. Ershov institute of informatics systems SB RAS : Novosibirsk state university, 2019. - 39 p. : ill. ; 29 см. - (PSI conference series, 12th edition). - Bibliogr. at the end of the reports. - 50 экз. В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university Перевод заглавия: Программные семантики, спецификации и верификация : теория и применение : 10-й семинар
Рубрики: Компьютеры--Программное обеспечение Кл.слова (ненормированные): Компьютеры персональные - Программирование Доп.точки доступа: Zakharov, V. A. \ed.\ Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |