Formal Refinement for Operating System Kernels by Iain D. Craig - Hardback

Formal Refinement for Operating System Kernels by Iain D. Craig - Hardback

AED562.44
(0) Write a Review
SKU:
9781846289668
UPC:
9781846289668

Product Description

ISBN: 9781846289668
TITLE: Formal Refinement for Operating System Kernels
AUTHOR: Iain D. Craig
PUBLISHER: Springer London Ltd
PUBLISHER DATE: 31 Jul 2007

Other Details

ISBN:
9781846289668
Author:
Iain D. Craig
Publisher:
Springer London Ltd
Publisher Date:
Published:31 Jul 2007
Book Format:
Hardback

Related Products

Popular Trending Products