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

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

Bibliographic Details
Main Author: Андерсон Р. Роберт
Published: Москва, Мир, 1982
Subjects:
математическое обеспечение
надежность
математическая индукция
блок-схемы
языки программирования
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=74099

Similar Items