Уточнить поиск

• Наличие

  • Ограничить записями с доступными экземплярами

• Авторы

  • "Program semantics, specification and verification: theory and application", workshop 10 2019 Novosibirsk (1)
  • A. P. Ershov informatics conference 12 2019 Novosibirsk (1)
  • A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university (1)
  • A.P. Ershov institute of informatics systems Novosibirsk 475 (1)
  • A.P. Ershov institute of informatics systems Novosibirsk 570 (1)
  • A.V. Promsky (1)
  • Promskij A. V. Aleksej Vladimirovič (1)
  • Russ. acad. of sciences. Siberian branch (1)
  • Russian academy of sciences Siberian division Novosibirsk computing centre (1)
  • Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems (1)
  • V. Zakharov [et al.] (eds.) (1)
  • Zacharov V.E. 1939- Vladimir Evgen'evič 340 (1)
  • Промский А. В. Алексей Владимирович 070 (1)
  • Показать больше
  • Показать меньше

• Item types

  • Книга (2)
  • Продолжающееся издание (1)

• Места хранения

  • Иностранный книжный фонд (2)

• Заглавие серии

  • 169 (1)
  • PSI conference series (1)
  • Preprint (1)
  • Препринт (1)

• Предметные рубрики

  • Верификация (1)
  • Программирование(компьют.) (1)
  • Программы(компьют.) (1)
  • Съезды, совещания и т.п (1)

• Коллекции

  • INPER (1)
  • NB (2)

• Библиотека хранения

  • РНБ (Московский) (2)

• Языки

  • английский (3)
  • русский (1)