| Маркер записи | n |
| Контрольный номер | RU/IS/BASE/450277411 |
| Дата корректировки | 8:35:20 9 апреля 2014 г. |
| ISBN | 5-256-00156-6 |
| Цена, тираж | 0-80 |
| Код языка каталог. | rus |
| Правила каталог. | PSBO |
| Код языка издания | rus |
| Индекс УДК | 681.3.06 |
| Полочн. индекс | 681 |
| Авторский знак | Н 53 |
|
Непомнящий, Валерий Александрович В. А. Непомнящий |
|
|
Прикладные методы верификации программ Текст под ред. А. П. Ершова |
|
| Место издания | Москва |
| Издательство | Радио и связь |
| Дата издания оригинала | 1988 |
| Объем | 255, [1] c. |
| Иллюстрации/ тип воспроизводства | ил. |
| Аннотация | Излагаются основы методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. |
|
верификация программ алгоритмические языки спецификации программ последовательные программы семантика программ недетерминированные программы параллельные программы |
|
|
Рякин, Олег Михайлович О. М. Рякин |
|
| Тип документа | m |
