Продам: Прикладные методы верификации программ. Непомнящий В. - Купить: Прикладные методы верификации программ. Непомнящий В., Минск - Продажа: Книги, музыка, видео Минск - 2501778

Найти
 


Объявление
Это объявление не активно или истек срок публикации

Прикладные методы верификации программ. Непомнящий В. - Книги, музыка, видео

Код: 2501778 Создано: 19-08-2017 08:40

Цена: 1 руб. Br

Продам, предлагаю: Книги, музыка, видео, Беларусь, Минск

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

Изображения




Мир бесплатных объявлений в Белоруссии



Строительный портал ДивоСтрой Беларусь - divostroi.by



Наша кнопка:
FREEADS.by

Код кнопки

Рейтинг сайтов Svich.Com .: Каталог сайтов на Белорусском Портале Белорусский рейтинг MyMinsk.com