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

Formal Refinement for Operating System Kernels (Paperback)

(author)
£123.00
Paperback 332 Pages / Published: 13/10/2010
  • 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: 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...

Implementing Domain-Driven Design
Added to basket
TestNG Beginner's Guide
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Designing Data-Intensive Applications
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Agile Testing
Added to basket
£44.49
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
The Mythical Man-Month
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Art of Agile Development
Added to basket
The Agile Samurai
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Coaching Agile Teams
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.