Информация о книге

0387951067

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Прикладное программное обеспечение » Системы автоматического проектирования » Software Reliability Methods (Texts in Computer Science)

Peled D., Software Reliability Methods (Texts in Computer Science)

, 0387951067


Описание книги

This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features: * Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra * Provides useful information suitable in the software selection process for a given project * Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for ?hands-on? experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the...

Поделиться ссылкой на книгу




Об авторе

Peled D.


Последние поступления в рубрике "Системы автоматического проектирования"



КОМПАС-3D для школьников. Черчение и компьютерная графика. Учебник КОМПАС-3D для школьников. Черчение и компьютерная графика. Учебник Баранова И.В.

Учебное пособие предназначено для учащихся общеобразовательных учебных заведений, изучающих черчение и компьютерную графику. Учебная версия системы КОМПАС-ЗDLT входит в состав Стандартного базового пакета программного обеспечения Первая Помощь,......

AutoCAD 2020. Полное руководство AutoCAD 2020. Полное руководство Жарков Н.В.

Данная книга представляет собой превосходное практическое руководство по AutoCAD 2020. Предназначена всем, кто хочет освоить работу с этой программой и научиться чертить и проектировать на компьютере. Написана известным автором-профессионалом, имеющим......

AutoCAD AutoCAD Полещук Н.К.

Книга предназначена для освоения методики создания двумерных объектов и трехмерных моделей в системе AutoCAD. Охвачены все последние версии, начиная с 2015-й. Продемонстрированы подходы к созданию графических документов и технология стилей (текста,......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Peled D., Software Reliability Methods (Texts in Computer Science) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.