Доказательство правильности программ : пер. с англ. / Р. Андерсон
Language: русский ; of original work, английский.Country: Россия.Publication: Москва : Мир, 1982Description: 163 с. : ил.Bibliography: Библиогр.: с. 155-159; Предметный указатель: с. 160-161.Subject - Topical Name: Вычислительные машины электронные -- Математическое обеспечение Subject: математическое обеспечение | надежность | математическая индукция | блок-схемы | языки программирования| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 82-6502 | Available | 13821000282404 | |
| Books | НТБ ТПУ Научный фонд | 82-6501 | Available | 13821000313800 |
Total holds: 0
Библиогр.: с. 155-159
Предметный указатель: с. 160-161
There are no comments on this title.
Log in to your account to post a comment.