Formal Refinement for Operating System Kernels

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

Author Iain D. Craig

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

100.19 USD

Book Details

ISBN / ASIN1846289661

ISBN-139781846289668

MarketplaceUnited States 🇺🇸