Formal Models of Operating System Kernels - 9781849965927

Description: Formal Models of Operating System Kernels Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Author(s): Iain D. Craig Format: Paperback Publisher: Springer London Ltd, United Kingdom Imprint: Springer London Ltd ISBN-13: 9781849965927, 978-1849965927 Synopsis 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 unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.

Price: 104.29 GBP

Location: Aldershot

End Time: 2024-11-12T09:10:24.000Z

Shipping Cost: 39.09 GBP

Product Images

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 60 days

Return policy details:

Book Title: Formal Models of Operating System Kernels

Number of Pages: 333 Pages

Language: English

Publication Name: Formal Models of Operating System Kernels

Publisher: Springer London LTD

Publication Year: 2010

Subject: Computer Science, Mathematics

Item Height: 235 mm

Item Weight: 534 g

Type: Textbook

Author: Iain D. Craig

Item Width: 155 mm

Format: Paperback