by IainD.Craig (Author)
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.
Format: Hardcover
Pages: 336
Edition: 1st Edition.
Publisher: Springer
Published: 31 Jul 2007
ISBN 10: 1846289661
ISBN 13: 9781846289668
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
