Прикладные методы верификации программ
Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: Радио и связь
Год: 1988
Страниц: 256
ISBN: 5-256-00156-6
Формат: DJVU
Размер: 6.7 Мб
Язык: русский
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.
Скачать с borncash.org
Скачать с file-space.org
Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с startfiles.org
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12854 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
1 Dywizja Pancerna 1939-1944 / 1th Armored Division 1939-1944 (Militaria 196)
Название: 1 Dywizja Pancerna 1939-1944 / 1th Armored Division 1939-1944 (Militaria 196)Автор: J. SolarzИздательство: Wydawnictwo MilitariaISBN: 8372191816Год издания: 2003Страниц: 78Язык: Английский . . .
-
1By-Day. Nataly, Prada & Cage
Название: 1By-Day. Nataly, Prada & CageАвтор: н/дСтраниц: 126Язык: АнглийскийФормат: jpgКачество: отличноеРазмер: 40,7 МбОписание: Описание отсутствует . . .
-
Год садовода (сборник рассказов)
Название: Год садовода (сборник рассказов)Автор: Карел ЧапекИздательство: Клуб любителей аудиокнигГод издания: 2010Язык: РусскийФормат: MP3Битрейт аудио: 320 Кбит/c, 44 кГц, стереоВремя звучания: 3 . . .
-
Разработка приложений в Microsoft Visual FoxPro 3.0
Автор: Горев А. Год издания: 1996 Формат: djvu Издат.: Журнал "The Pinter FoxPro Letter" ТОО "Эдель" Страниц: 392 Размер: 19.78 MB ISBN: 5-85308-010-5 Язык: Рус . . .
-
Digital Portrait Photography For Dummies
Автор: Doug Sahlin Год издания: 2009 Формат: pdf Издат.: For Dummies Страниц: 336 Размер: 14,9 МБ ISBN: 0470527633 Язык: Английский A ful . . .
-
Existing Light Techniques for Wedding and Portrait Photography
Автор: Bill Hurter Год издания: 2008 Формат: pdf Издат.: Amherst Media, Inc Страниц: 128 Размер: 9,08 МБ ISBN: 1584282282 Язык: Английский . . .
-
Jeff Smith's Posing Techniques for Location Portrait Photography
Автор: Jeff Smith Год издания: 2007 Формат: pdf Издат.: Amherst Media, Inc Страниц: 128 Размер: 4,13 МБ ISBN: 1584282258 Язык: Английский . . .
-
Занимательная математика. Выпуск 1
Автор: Перельман Я.И. Год издания: 2009 Формат: exe Издат.: Мультисофт Страниц: 1000 Размер: 140МВ Язык: Русский Критики и ученые единодушны в том, что "Занимательн . . .
-
Атлетическая подготовка допризывника
Автор: Ю.К.Сорокин Год издания: 1990 Формат: pdf Издат.: "Советский спорт", Москва Страниц: 64 Размер: 10,7 Мб Язык: Русский Книга рассчитана на всех желающих занят . . .
-
Samochody Wehrmachtu / German Cars and Trucks of WW II vol. IV (Militaria..
Автор: Janusz Ledwoch Год издания: 2002 Формат: pdf Издат.: Wydawnictwo Militaria Страниц: 83 Размер: 37.18 ISBN: 8372191360 Язык: Английский . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Прикладные методы верификации программ. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.