Доказательство правильности программ /

Նմանատիպ նյութեր

• Искусство тестирования программ : Пер. с англ. /
  : Майерс, Гленфорд Дж
  Հրապարակվել է: (1982)
• Введение в теорию оптимизации программ : (Оптимизирующие преобразования программ и их обоснование) /
  : Касьянов, Виктор Николаевич
  Հրապարակվել է: (1985)
• Комплексирование программ в ОС ЕС /
  : Орлов, Владимир Николаевич
  Հրապարակվել է: (1986)
• Производственные методы разработки программ /
  : Волховер, Владимир Гершович
  Հրապարակվել է: (1983)
• Тестирование программ /
  Հրապարակվել է: (1986)