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 Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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: 3662513145 ISBN-13(EAN): 9783662513149 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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: 3642395481 ISBN-13(EAN): 9783642395482 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
