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

• Наличие

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

• Авторы

  • I.V. Maryasov (1)
  • Mar'jasov I. V. 1983- Il'ja Vladimirovič (1)
  • Mar'jasov I. V. 1983- Il'ja Vladimirovič 070 (1)
  • Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems (1)
  • И. В. Марьясов (1)
  • Марьясов И. В. 1983- Илья Владимирович (1)
  • Марьясов И. В. 1983- Илья Владимирович 070 (1)
  • Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова (1)
  • Показать больше
  • Показать меньше

• Item types

  • Книга (2)

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

  • Иностранный книжный фонд (1)
  • Русский книжный фонд: издания с 1957 года, 9этаж (1)

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

  • 150 (1)
  • 160 (1)
  • Preprint (1)
  • Препринт (1)

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

  • C, язык программирования (1)
  • C-LIGHT (1)
  • Верификация (2)
  • Программы(компьют.) (2)

• Коллекции

  • NB (2)

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

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

• Языки

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