Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659521751

Книга ISBN13 9783659521751 - Система автоматического поиска инварианта цикла (Андрей Шипов und Юрий Кораблин) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Система автоматического поиска инварианта цикла
Задача верификации программного обеспечения становится сегодня все более востребованной, так как сложность программных систем с каждым днем постоянно растет, и мы все больше сталкиваемся с теми или иными сбоями в их работе. Инвариантом в программировании называется логическое выражение, зависящее от переменных в теле цикла и истинное, как перед его выполнением, так и после. Знание инварианта для конкретного цикла позволяет выполнить проверку на корректность его работы. В данной книге делается попытка разработки такой программной системы, которая позволила бы реализовать автоматический поиск инвариантов для конкретно заданных циклов и частично автоматизировать процесс верификации программ. Данная книга будет интересна и полезна, как опытным программистам, так и тем, кто просто интересуется проблемой верификации программного обеспечения.
Авторы: Андрей Шипов und Юрий Кораблин
Издательство: LAP Lambert Academic Publishing
Год: 2014
Местонахождение: OZON.ru
ISBN: 9783659521751


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.