Home Advanced Search

Advanced Search - Page 1

Верификация автоматных программ
  • PDF
  • Russian
  • Year: 2011
  • Author: Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.
Верификация автоматных программ: Учебное пособие.
  • PDF
  • Russian
  • Year: 2011
  • Author: Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.
Заметки о мотивации
  • PDF
  • Russian
  • Author: Шалыто А.А.
SWITCH - технология
  • DJVU
  • Russian
  • Year: 1998
  • Author: А.А. Шалыто