Прверка и утверждение программ реального времени: пер. с англ.

Détails bibliographiques
Autres auteurs:	Квирк Уи. Дж. (редактор)
Langue:	russe
Publié:	Киев, Наукова думка, 1990
Sujets:	Вычислительные системы реального времени > Программы реальное время программы характеристики проблемы надежность создание системы проверка утверждение унифицированные среды структурный анализ доказательство тестирование цели имитация
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241579

Documents similaires