Formal Refinement for Operating System Kernels

Name: Formal Refinement for Operating System Kernels
Author: Iain D. Craig
ISBN: 9781849966894

Author Iain D. Craig

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

159.00 USD

Book Details

ISBN / ASIN1849966893

ISBN-139781849966894

MarketplaceUnited States 🇺🇸