Труды Института системного программирования РАН. Том 18. 2010 г.
Под редакцией академика РАН В.П. Иванникова
В восемнадцатом томе Трудов института системного программирования РАН публикуются 9 статей сотрудников Института, посвященных различным аспектам тестирования программных и аппаратных средств на основе формальных спецификаций, методам виртуализации и моделирования.
หมวดหมู่:
ปี:
2010
สำนักพิมพ์:
ИСП РАН
ภาษา:
russian
จำนวนหน้า:
128
ไฟล์:
PDF, 4.58 MB
IPFS:
,
russian, 2010