Каталог
>
Знания и навыки
>
Компьютерная литература
>
Программы
>
9781118602690
Каталог
:: Java книги
:: Авто
:: Астрология
:: Аудио книги
:: Биографии и Мемуары
:: В мире животных
:: Гуманитарные и общественные науки
:: Детские книги
:: Для взрослых
:: Для детей
:: Дом, дача
:: Журналы
:: Зарубежная литература
:: Знания и навыки
:Бизнес-книги
:Компьютерная литература
:Базы данных
:Зарубежная компьютерная литература
:Интернет
:Информационная безопасность
:Книги о компьютерах
:Компьютерное железо
:Ос и сети
:Программирование
:Программы
:Научно-популярная литература
:Словари, справочники
:Учебная и научная литература
:: Издательские решения
:: Искусство
:: История
:: Компьютеры
:: Кулинария
:: Культура
:: Легкое чтение
:: Медицина и человек
:: Менеджмент
:: Наука и образование
:: Оружие
:: Программирование
:: Психология
:: Психология, мотивация
:: Публицистика и периодические издания
:: Разное
:: Религия
:: Родителям
:: Серьезное чтение
:: Спорт
:: Спорт, здоровье, красота
:: Справочники
:: Техника и конструкции
:: Учебная и научная литература
:: Фен-Шуй
:: Философия
:: Хобби, досуг
:: Художественная лит-ра
:: Эзотерика
:: Экономика и финансы
:: Энциклопедии
:: Юриспруденция и право
:: Языки
Новинки
Ford Maverick since 2022, service e-manual
Models and Analysis for Distributed Systems
Автор:
Группа авторов
Издательство:
John Wiley & Sons Limited
Cтраниц:
1
Формат:
PDF
Размер:
0
ISBN:
9781118602690
Качество:
excellent
Язык:
Описание:
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
Скачать
Скачать легальную копию
Просмотров: 75
Пресс - релиз
string(4) "true" int(290)
К настоящему времени нет отзывов!
Рекомендуем
Секреты уличных знакомств
Информация
Свяжитесь с нами
Как скачать и чем читать
Quiero dinero © 2007
