Объявление
Прикладные методы верификации программ. Непомнящий В. - Научная и специальная литература
Продам, предлагаю - частное лицо: Научная и специальная литература, Беларусь, МинскЦена: 1 руб. Br
Книга будет выслана почтой из Могилева. Стоимость – 1 руб. + почтовые расходы. _____________________________________________________________ Непомнящий В., Рякин О. Прикладные методы верификации программ, Радио и связь, 1988, твердая обложка, 368 стр. _____________________________________________________________ Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. _____________________________________________________________ ПИШИТЕ nook6@mail.ru или звоните 8-029-350-26-72 |
|