Каталог
>
Знания и навыки
>
Компьютерная литература
>
Программирование
>
9781118459867
Каталог
:: Java книги
:: Авто
:: Астрология
:: Аудио книги
:: Биографии и Мемуары
:: В мире животных
:: Гуманитарные и общественные науки
:: Детские книги
:: Для взрослых
:: Для детей
:: Дом, дача
:: Журналы
:: Зарубежная литература
:: Знания и навыки
:Бизнес-книги
:Компьютерная литература
:Базы данных
:Зарубежная компьютерная литература
:Интернет
:Информационная безопасность
:Книги о компьютерах
:Компьютерное железо
:Ос и сети
:Программирование
:Программы
:Научно-популярная литература
:Словари, справочники
:Учебная и научная литература
:: Издательские решения
:: Искусство
:: История
:: Компьютеры
:: Кулинария
:: Культура
:: Легкое чтение
:: Медицина и человек
:: Менеджмент
:: Наука и образование
:: Оружие
:: Программирование
:: Психология
:: Психология, мотивация
:: Публицистика и периодические издания
:: Разное
:: Религия
:: Родителям
:: Серьезное чтение
:: Спорт
:: Спорт, здоровье, красота
:: Справочники
:: Техника и конструкции
:: Учебная и научная литература
:: Фен-Шуй
:: Философия
:: Хобби, досуг
:: Художественная лит-ра
:: Эзотерика
:: Экономика и финансы
:: Энциклопедии
:: Юриспруденция и право
:: Языки
Новинки
Dodge Dakota с 1995 по 2000 год, электрооборудование и электросхемы в электронном виде (на английском языке)
Formal Methods for Industrial Critical Systems. A Survey of Applications
Автор:
Margaria Tiziana
Издательство:
John Wiley & Sons Limited
Cтраниц:
1
Формат:
PDF
Размер:
0
ISBN:
9781118459867
Качество:
excellent
Язык:
Описание:
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Скачать
Скачать легальную копию
Просмотров: 68
Пресс - релиз
string(4) "true" int(290)
К настоящему времени нет отзывов!
Вход
Если Вы забыли пароль, щелкните
здесь
Вы новый клиент?
Зарегистрируйтесь
Информация
Свяжитесь с нами
Как скачать и чем читать
Quiero dinero © 2007
