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

Formal Refinement for Operating System Kernels (Paperback)

(author)
£112.00
Paperback 332 Pages / Published: 13/10/2010
  • 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: 9781849966894
Number of pages: 332
Weight: 534 g
Dimensions: 235 x 155 x 18 mm
Edition: Softcover reprint of hardcover 1st ed. 2007

You may also be interested in...

The Clean Coder
Added to basket
£32.99
Paperback
Design Patterns
Added to basket
£43.99
Hardback
Kanban
Added to basket
£33.55
Paperback
Designing Data-Intensive Applications
Added to basket
Art of Agile Development
Added to basket
Refactoring
Added to basket
£47.99
Hardback
Continuous Delivery
Added to basket
£43.99
Hardback
The Mythical Man-Month
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Implementing Domain-Driven Design
Added to basket
Succeeding with Agile
Added to basket
£38.99
Paperback
Agile Product Management with Scrum
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
The Book of Satoshi
Added to basket
Concise Guide to Databases
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.