4.0%OFF
Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Operating Systems | >> | Formal Models Of Ope... |
4.0%OFF
Formal Models of Operating System Kernels
-
ISBN
:
9781846283758
-
Publisher
:
Springer
-
Subject
:
Operating Systems, Computer Science, Mathematics
-
Binding
:
HARDCOVER
-
Pages
:
352
-
Year
:
2006
₹
13647.0
4.0% OFF
₹
13101.0
13101.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
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 x2013; presenting a formal specification of a kernel x2013; starts with basic constructs and develops a set of kernels; proofs are included as part of the text.
Related Items
-
of
1200.0
