All Formats & Editions
1 - 2 of 2 results found
Formal Refinement for Operating System Kernels
Edition Description
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained...
Edition Details
Format:Hardcover
Language:English
ISBN:1846289661
Format: Hardcover
Condition:
$
109.99
50 Available
Formal Refinement for Operating System Kernels
Edition Description
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained...
Edition Details
Format:Paperback
Language:English
ISBN:1849966893
Format: Paperback
Condition:
$
109.99
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
