Уточнить поиск
Наличие
-
Авторы
- "Program semantics, specification and verification: theory and application", workshop 10 2019 Novosibirsk (1)
- A. P. Ershov informatics conference 12 2019 Novosibirsk (2)
- A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university (2)
- A.P. Ershov institute of informatics systems Novosibirsk 475 (1)
- Bjørner N. Nikolaj 340 (1)
- N. Bjørner [et al.] eds (1)
- V. Zakharov [et al.] (eds.) (1)
- Zacharov V.E. 1939- Vladimir Evgen'evič 340 (1)
- Показать больше
- Показать меньше
-
Item types
- Книга (2)
-
Места хранения
-
Заглавие серии
-
Предметные рубрики
-
Коллекции
- NB (2)
-
Библиотека хранения
- РНБ (Московский) (2)
-
Языки
- английский (2)