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

• Наличие

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

• Авторы

  • И. В. Шошмина, Ю. Г. Карпов (1)
  • Карпов Ю. Г. д-р техн. наук Юрий Глебович (1)
  • Карпов Ю. Г. д-р техн. наук Юрий Глебович 070 (1)
  • М-во образования и науки Рос. Федерации, С.-Петерб. гос. политех. ун-т [и др.] (1)
  • Федеральное агентство по образованию, Санкт-Петербургский гос. политехнический ун-т (1)
  • Шошмина И. В. Ирина Владимировна (1)
  • Шошмина И. В. Ирина Владимировна 070 (1)
  • Ю. Г. Карпов, И. В. Шошмина (1)
  • Показать больше
  • Показать меньше

• Item types

  • Книга (2)

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

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

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

  • Образование (1)
  • Приоритетные национальные проекты (1)

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

  • PROMELA, язык моделирования процессов (2)
  • SPIN, система программирования (1)
  • Верификация (1)
  • Программы(компьют.) (1)
  • Учебные издания для высших учебных заведений (2)

• Коллекции

  • NB (1)
  • NBR (1)

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

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

• Языки

  • русский (2)