Fokkink Modelling Distributed Systems 9783540739371

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

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

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

в Мои желания

Автор: Fokkink
Название: Modelling Distributed Systems
ISBN: 9783540739371
Издательство: Springer
Классификация:

Архитектура и логическое построение вычислительных систем

ISBN-10: 3540739378
Обложка/Формат: Hardback
Страницы: 164
Вес: 0.42 кг.
Дата издания: 26.09.2007
Серия: Texts in Theoretical Computer Science. An EATCS Series
Язык: English
Иллюстрации: 18 black & white illustrations, 7 black & white tables, 64 black & white line drawings
Размер: 164 x 240 x 16
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author`s website.

Modelling Distributed Systems, Fokkink