Formal Models of Operating System Kernels (Hb 2007)
-35%
Availability: In Stock

Formal Models of Operating System Kernels (Hb 2007)

SKU: 9781846283758

Original price was: ₹15,148.99.Current price is: ₹9,846.84.

Explore the foundational principles of operating system kernels with ‘Formal Models of Operating System Kernels (Hb 2007)’. This comprehensive hardcover edition from Springer delves into the rigorous mathematical frameworks essential for understanding and designing reliable OS kernels. Perfect for computer science students, researchers, and system architects, this book provides a deep dive into formal verification techniques, abstract models, and their practical applications. Enhance your expertise in kernel development and ensure system integrity by mastering the formal methods discussed within these pages. Discover cutting-edge approaches to OS kernel design, making this an indispensable resource for anyone serious about operating systems.

5 in stock

Category: Tag:

Description

  • ISBN-10: 1846283752
  • ISBN-13: 978-1846283758
  • Edition: 2007th
  • Publisher: SPRINGER
  • Publication date: 1 January 2007
  • Language: English
  • Dimensions: 16.64 x 2.08 x 24.16 cm
  • Print length: 333 pages

Related products