- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Непомнящий Валерий Александрович - Прикладные методы верификации программ
Книга
Автор: Непомнящий Валерий Александрович
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN отсутствует
Автор: Непомнящий Валерий Александрович
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN отсутствует