Michael Butler; Cliff Jones; Alexander Romanovsky; Rigorous Development of Complex Fault-Tolerant Systems 9783540482659

Варианты приобретения

Цена: 69870.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 169 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Michael Butler; Cliff Jones; Alexander Romanovsky;
Название: Rigorous Development of Complex Fault-Tolerant Systems
ISBN: 9783540482659
Издательство: Springer
Классификация:

Анализ и синтез систем

ISBN-10: 3540482652
Обложка/Формат: Paperback
Страницы: 422
Вес: 0.59 кг.
Дата издания: 2006
Серия: Lecture notes in computer science / programming and software engineering
Язык: English
Иллюстрации: 1, colour illustrations
Размер: 234 x 156 x 22
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. This book is based on the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

Rigorous Development of Complex Fault-Tolerant Systems, Michael Butler; Cliff Jones; Alexander Romanovsky;