Доказательство правильности программ : пер. с англ. / Р. Андерсон
Language: русский ; of original work, английский.Country: Россия.Publication: Москва : Мир, 1982Description: 163 с. : ил.Bibliography: Библиогр.: с. 155-159; Предметный указатель: с. 160-161.Subject - Topical Name: Вычислительные машины электронные -- Математическое обеспечение Subject: математическое обеспечение | надежность | математическая индукция | блок-схемы | языки программирования| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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.