Прикладные методы верификации программ
Купить бумажную книгу и читать
Купить бумажную книгу
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".
Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.
Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: Радио и связь
Год: 1988
Страниц: 256
ISBN: 5-256-00156-6
Формат: DJVU
Размер: 6.7 Мб
Язык: русский
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.
Купить бумажную книгу или электронную версию книги и скачать
Купить бумажную книгу
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".
Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.
Дата создания страницы: 2019-02-26 12:39
Похожие книги Изучаем Adobe Flash CS3. Продвинутый курс Автор: коллектив Издательство: TeaShop Год : 2009 Качество: отличное Формат : iso Язык : русский Размер : 329 МБ Для сайта: Описание: Интерактивный самоучитель по обучению работе с программой Adobe...Экономика производства программных продуктов Автор: Липаев В.В. Издательство: СИНТЕГ Год: 2011 Страниц: 352 ISBN: 978-5-89638-116-7 Формат: PDF Размер: 10 Мб Язык: русский В монографии представлены основы экономики производства сложных программных продуктов высокого качества, которые базируются на...Теория и практика химического анализа почв Автор: Воробьева Л.А. Издательство: М.: ГЕОС Год : 2006 Количество страниц: 400 Формат : pdf Размер : 8 mb Для сайта: В монографии химический анализ почв представлен в виде единой...Структурное проектирование и конструирование программ Авторы : Йодан Э. Издательство: Мир (Москва) Год : 1979 Страниц: 416 Язык : Русский Формат : DjVu Размер : 23 Мб На современном уровне обсуждены принципы и методы структурного программирования, позволяющие...Проектирование и производство сложных заказных программных продуктов Автор: Липаев В.В. Издательство: СИНТЕГ Год: 2011 Страниц: 398 ISBN: 978-5-89638-119-8 Формат: PDF Размер: 16 Mб Язык: русский Монография состоит из двух частей, в которых изложены методы и процессы проектирования и производства...Верификация автоматных программ Автор: С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов Издательство: СПбГУ ИТМО Год : 2011 Формат : pdf Размер : 3,27 mb В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием...Представление и обработка знаний с точки зрения математического моделирования. Проблемы и решения Автор : Яловец А.Л. Издательство : Наукова думка Год : 2011 Страниц : 339 Формат : pdf Размер : 12 mb Монография посвящена исследованию проблемы представления и обработки знаний в...Исследование в психологии. Методы и планирование Автор: Джеймс Гудвин Издательство: Питер Год издания : 2004 Страниц: 560 Формат : pdf Размер : 6,25 mb ISBN 5-94723-290-1, 0-471-39861-6 Предлагаемая читателю книга представляет собой учебник, включающий материалы курса экспериментальной психологии....Обучение мультимедиа - работа со звуком C# без лишних слов Applied Multivariate Statistics with R Machine Learning in Python: Essential Techniques for Predictive Analysis