- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Models and Analysis for Distributed Systems; John Wiley & Sons Limited
- Издатель: John Wiley & Sons Limited
- ISBN: 9781118602690
- Книги: Программирование
- ID:5998739
Цены
Последняя известная цена от 454 р. до 454 р. в 1 магазинах
Вы можете поискать его на других площадках:
Магазин | Цена | Наличие |
---|---|---|
Описание
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.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Группа авторов |
Издатель | John Wiley & Sons Limited |
ISBN | 978-1-118-60269-0 |
Отзывы (0)
Добавить отзыв
Книги: Программирование John Wiley & Sons Limited
Категория 363 р. - 544 р.
Книги: Программирование: другие издатели
- 1С-Паблишинг
- BHV
- Bhv-cпб
- John Wiley & Sons Limited
- Бином
- Бомбора
- БХВ
- БХВ-Петербург
- Вильямс
- Диалектика
- Диалектика-Вильямс
- ДМК Пресс
- ДМК Пресс, ДМК Пресс
- ДМК-Пресс
- Издательский дом "Питер"
- Издательство «Просвещение»
- Издательство ЛАНЬ
- Инфра-Инженерия
- ИНФРА-М
- Кнорус
- Лаборатория знаний
- Лань
- Лори
- МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
- МГТУ им. Н.Э. Баумана
- Наука и Техника
- Новосибирский государственный технический университет
- Новый издательский дом
- ПИТЕР
- Прогресс книга
- Прометей
- Символ-Плюс
- Солон-пресс
- Форум
- Эксмо