Formal Models of Operating System Kernels, Iain D. Craig

Автор: Iain D. Craig
Название: Formal Refinement for Operating System Kernels
ISBN: 1849966893 ISBN-13(EAN): 9781849966894
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification.

Автор: Holger Ingmar Meinhardt
Название: The Pre-Kernel as a Tractable Solution for Cooperative Games
ISBN: 3642395481 ISBN-13(EAN): 9783642395482
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an alternative approach to study the pre-kernel solution of transferable utility games based on a generalized conjugation theory from convex analysis.

Автор: Holger Ingmar Meinhardt
Название: The Pre-Kernel as a Tractable Solution for Cooperative Games
ISBN: 3662513145 ISBN-13(EAN): 9783662513149
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an alternative approach to study the pre-kernel solution of transferable utility games based on a generalized conjugation theory from convex analysis.