Formal Models of Operating System Kernels

Name: Formal Models of Operating System Kernels
Brand: Springer London Ltd
SKU: 9781846283758
Price: 157.83 EUR
Availability: InStock

Автор: Iain D. Craig

Език:

Корици: С твърди корици

Издател: Springer London Ltd

Наличност: Външен склад

Изпращаме след 10-13 дни

157.83 € 308.69 лв

Operating systems kernels are central to the functioning of computers. Security of the overall syste...

Информация за книгата

Автор

Iain D. Craig

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2006

страници

333

EAN

9781846283758

ISBN

9781846283758

Enbook ID

08847119

Издател

Springer London Ltd

Теглоt

688

Размери

155 x 235 x 24

Пълно описание

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Models of Operating System Kernels

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също