Наверх
Обратно
8 800 250-06-18
Менюx
КорзинаАвторизоватьсяНаши магазиныПомощь
Моя корзина: нет товаровx
Нет товаров
Оплата и доставка
x
Ваш город: Судоверфь, вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Вам доступны способы оплаты:
  • при получении заказа
  • предоплата: банковские карты, терминалы оплаты и многое другое
  • банковский перевод для физ. лиц
  • банковский перевод для юр. лиц
Авторизоваться
Судоверфь
x
Выбор города

Ваш город: Судоверфь ?

Ваш город: Судоверфьизменить )
Пункты самовывоза
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»

Система автоматического поиска инварианта цикла
Андрей Шипов, Юрий Кораблин

Вы можете заказать:
Подробнее о технологии 
Экономьте до 30% с бонусными баллами! При покупке вы получите
от 302 баллов
на свой бонусный счёт. Получить баллы и скидку
Вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Способы оплаты

Описание

Задача верификации программного обеспечения становится сегодня все более востребованной, так как сложность программных систем с каждым днем постоянно растет, и мы все больше сталкиваемся с теми или иными сбоями в их работе. Инвариантом в программировании называется логическое выражение, зависящее от переменных в теле цикла и истинное, как перед его выполнением, так и после. Знание инварианта для конкретного цикла позволяет выполнить проверку на корректность его работы. В данной книге делается попытка разработки такой программной системы, которая позволила бы реализовать автоматический поиск инвариантов для конкретно заданных циклов и частично автоматизировать процесс верификации программ. Данная книга будет интересна и полезна, как опытным программистам, так и тем, кто просто интересуется проблемой верификации программного обеспечения.
далее Читать
Свернуть
   Читать далее
Год:2014
Страниц:72
ISBN:9783659521751
Формат:22.9cm x 15.2cm x 0.4cm
Код:pod 6081010
Авторы:Кораблин, Шипов
Тематика:Компьютерная литература

Мнения и отзывы

Авторизуйтесь или зарегистрируйтесь на сайте, чтобы оставить отзыв и получить возможность заработать 15 бонусных баллов в бонусной программе
Оставить отзыв
Спасибо
за отзыв!
Отслеживать статус можно в
«Ваших отзывах».
Оставить отзыв
Система автоматического поиска инварианта цикла
Система автоматического поиска инварианта цикла
Андрей Шипов, Юрий Кораблин
 
Авторизуйтесь, чтобы оставить свой отзыв о товаре
Общее впечатление
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
0 букв

Отзыв длиной более 500 букв, который будет принят модератором, принесет вам 15 баллов для участия в нашей бонусной программе!

Отзыв должен быть уникальным и содержательным: нельзя копировать отзывы, мнения и информацию с других сайтов.

Не содержать нецензурную брань.

Отзыв должен относиться к товару, на который он написан.

Без спойлеров.

Мы не рекомендуем пересказ аннотации или содержания.

Нельзя указывать ссылки на сторонние ресурсы и email адреса

Назад к написанию отзыва
×
x

Если Вы обнаружили ошибку в описании товара «Система автоматического поиска инварианта цикла» Андрей Шипов, Юрий Кораблин, выделите её мышкой и нажмите: Ctrl+Enter. Спасибо!

©2006-2018, ООО «Буквоед»
8 800 250-06-18

Спасибо за ваше обращение.
Его номер - .

Ответ будет направлен на указанную почту в ближайшее время.

x
x