Formal Refinement for Operating System Kernels (Hardback)
  • Formal Refinement for Operating System Kernels (Hardback)
zoom

Formal Refinement for Operating System Kernels (Hardback)

(author)
£119.99
Hardback 332 Pages / Published: 31/07/2007
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

The kernel of any operating system is its most critical component, as the rest of the system depends on it. 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. The author documents the complete process, including proofs.

Publisher: Springer London Ltd
ISBN: 9781846289668
Number of pages: 332
Weight: 1480 g
Dimensions: 235 x 155 x 20 mm
Edition: 2007 ed.

You may also be interested in...

Windows 8.1 in Easy Steps
Added to basket
Operating Systems
Added to basket
Mac Basics in Easy Steps
Added to basket
Windows 7 in Easy Steps
Added to basket
Computer Basics in easy steps
Added to basket
Linux Bible
Added to basket
£37.99
Paperback
Chromebook For Dummies
Added to basket
Linux in easy steps
Added to basket
£10.99
Paperback
Using Docker
Added to basket
£47.99
Paperback
Linux All-in-One For Dummies
Added to basket
Macs All-in-One For Dummies
Added to basket
How Linux Works, 2nd Edition
Added to basket
Windows 8 For Dummies
Added to basket
The Linux Command Line
Added to basket
Windows 10 for Seniors in Easy Steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.