Davies Specification and Proof in Real Time CSP 9780521450553

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

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

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

в Мои желания

Автор: Davies
Название: Specification and Proof in Real Time CSP
ISBN: 9780521450553
Издательство: Cambridge Academ
Классификация:

Компьютерное программирование / разработка по

Математическая теория вычислений

Параллельная обработка данных

ISBN-10: 0521450551
Обложка/Формат: Hardback
Страницы: 200
Вес: 0.53 кг.
Дата издания: 20.05.1993
Серия: Distinguished Dissertations in Computer Science, 6
Язык: English
Иллюстрации: D.
Размер: 256 x 181 x 13
Читательская аудитория: theoretical computer science
Основная тема: Computer science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.

Specification and Proof in Real Time CSP, Davies