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

Bibliographic Details
Other Authors:	Квирк Уи. Дж. (340)
Published:	Киев, Наукова думка, 1990
Subjects:	реальное время программы характеристики проблемы надежность создание системы проверка утверждение унифицированные среды структурный анализ доказательство тестирование цели имитация
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241579

Similar Items