• Sign In
  • Help
  • My Basket0
Formal Refinement for Operating System Kernels (Hardback)
  • Formal Refinement for Operating System Kernels (Hardback)
zoom

Formal Refinement for Operating System Kernels (Hardback)

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

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

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...

How Linux Works, 2nd Edition
Added to basket
Windows 10 in easy steps
Added to basket
Windows 10 for Seniors
Added to basket
Windows 8 for Dummies Book+dvd Bundle
Added to basket
The Linux Command Line
Added to basket
bash Cookbook
Added to basket
£39.99
Paperback
Computer Basics in easy steps
Added to basket
Windows 8.1 in Easy Steps
Added to basket
Git for Teams
Added to basket
£39.99
Paperback
Mac Basics in Easy Steps
Added to basket
Linux in easy steps
Added to basket
£10.99
Paperback
Windows 7 in Easy Steps
Added to basket
Windows 8.1 for Dummies
Added to basket
Learning the vi and Vim Editors
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.