| Номер документа в системі: | 185474 |
| Автор: | Непомнящий В. А., Рякин О. М. |
| Назва документа: | Прикладные методы верификации программ |
| Видавництво: | Радио и связь |
| Місто видання: | М. |
| Рік видання: | 1988 |
| УДК | 004.4 |
| Мова документу | Російська |
| Шифр документу | 681.3 |
| Кількість сторінок | 256 с. |