• Sign In
  • Help
  • My Basket0
The books you love, the emails you want
Opt in by 25 May or you'll stop hearing from us
REVIEW NOW
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...

Exercises in Programming Style
Added to basket
Refactoring
Added to basket
£47.99
Hardback
Agile Product Management with Scrum
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Designing Data-Intensive Applications
Added to basket
The Mythical Man-Month
Added to basket
BDD in Action
Added to basket
Programming Interviews Exposed
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
Coaching Agile Teams
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
Peopleware
Added to basket
£32.99
Paperback
User Stories Applied
Added to basket
£40.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.