Прикладные методы верификации программ В. А. Непомнящий, О. М. Рякин

За: Інтелектуальна відповідальність: Вид матеріалу: Текст Текст Мова: російська Публікація: М. Радио и связь 1988Опис: 255 сТип вмісту:
  • текст
Тип засобу:
  • прямий доступ
Тип носія:
  • аркуш
Тематика(и): Інша класифікація:
  • 32.973-018
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)
Фонди
Тип одиниці зберігання Поточна бібліотека Шифр зберігання Стан Очікується на дату Штрих-код
Книга, брошура Відділ документів технічних та природничих наук (читальний зал) Доступно