Н 53 |
Непомнящий, В. А. Прикладные методы верификации программ [Текст] / В. А. Непомнящий, О. М. Рякин ; Под ред. А.П. Ершова. – М. : Радио и связь, 1988. – 256с. – Библиогр.:с.252-254. – 10000.
Для программистов; может быть полезна инженерам, специализирующимися в области вычислительной техники и прикладной математики. |