Skip to content
Scan a barcode
Scan

All Formats & Editions

1 - 3 of 3 results found
Formal Models of Operating System Kernels B01A96XXGM Book Cover

Formal Models of Operating System Kernels

Edition Description

The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted...

Edition Details
Format:Hardcover
Language:English
ISBN:B01A96XXGM
Format: Hardcover
Condition:
$
169.99
50 Available
Formal Models of Operating System Kernels 1846283752 Book Cover

Formal Models of Operating System Kernels

Edition Details
Format:Hardcover
Language:English
ISBN:1846283752
Format: Hardcover
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Formal Models of Operating System Kernels 1849965927 Book Cover

Formal Models of Operating System Kernels

Edition Description

The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted...

Edition Details
Format:Paperback
Language:English
ISBN:1849965927
Format: Paperback
Condition:
$
169.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
GoDaddy Verified and Secured