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

• Наличие

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

• Авторы

  • 070 Mar'jasov I. V. 1983- Il'ja Vladimirovič (1)
  • И. В. Марьясов (2)
  • Марьясов И. В. 1983- Илья Владимирович (2)
  • Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова (2)

• Item types

  • Книга (2)

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

  • Русский книжный фонд: издания с 1957 года (1)
  • Русский книжный фонд: издания с 1957 года (1)

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

  • 150 (1)
  • 155 (1)
  • Препринт (2)

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

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

• Коллекции

  • NB (2)

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

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

• Языки

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