Formal Refinement For Operating System Kernels(1st Edition)
Authors:
Iain D Craig
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$61.59
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 1846289661, 978-1846289668
Book publisher: Springer
Book Price $61.59 : 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 In This Book Are Not The Only Ones I Have Performed Of Microkernels. To Date, I Have Re?ned Four Microkernels Down To Executable Code And Have Now P- Duced A Kit Of Formally Speci?ed Components That Can Be Composed To Form Kernels. The ?rst Kernel Included In This Book Is Just One Example Of This Work. The Second Kernel, The Separation Kernel, Is New And Was Partly Constructed Out Of The Kit Of Parts (and The Reader Will See Reuse In Its Speci?cation And Re?nement) And Was Included For Speci?c Reasons That Will Become Clear Anon. Bothkernelstooklessthanthreemonthsâ??workingtimetoproduce(theactual Time Is Rather Hard To Calculate Because Of Frequent Interruptions). Previous Experience In Re?ning Kernels Also Paid O? In The Sense That There Was L- Tle Revision Involved In Their Speci?cation Or Re?nement; The Usual Process Of Yo-yoing Between Levels Of The Derivation Was Absent. This Appears To Be An Inevitable Consequence Of Experience.
Popular Among Students (8)
Distributed Transmission Distribution Coordinated Energy Management Based On Generalized Master Slave Splitting Theory - 1st Edition
Zhengshuo Li
ISBN: 9811356874, 978-9811356872
$76.72 $109.60
Ios 16 Guides And Hacks Ios 16 User Guide 30 Ios 16 Tips And Tricks The Complete Guide For Ios 16 Ios 16 Book Quick And Easy Summary Of Ios 16 - 1st Edition
Robert S Gregg
ISBN: 979-8354395026
$0 $17.99
Progress In Cryptology Latincrypt 2017 5th International Conference On Cryptology And Information Security In Latin America Havana Cuba - 1st Edition
Tanja Lange
ISBN: 3030252825, 978-3030252823
$0 $70.96
Brazen Chariots A Tank Commander In Operation Crusader - 1st Edition
Robert Crisp
ISBN: 0393327124, 978-0393327120
$0 $9.33
Building Your Next Big Thing With Google Cloud Platform A Guide For Developers And Enterprise Architects - 1st Edition
Jose Ugia Gonzalez
ISBN: 1484210050, 978-1484210055
$0 $14.88Recommended For You (9)
Lislam Entre Ca Ur Et Intelligence - 1st Edition
Sofiane Meziane
ISBN: 2752401442, 978-2752401441
$0 $76.00
Object Oriented Programming Languages Interpretation - 1st Edition
Iain D Craig
ISBN: 1846287731, 978-1846287732
$0 $5.15
Formal Models Of Operating System Kernels - 1st Edition
Iain D. Craig
ISBN: 1849965927, 978-1849965927
$93.44 $133.48
The Ultimate Nft Guide For Beginners A Handbook On Investing In Non Fungible Tokens Earn Extra Money And Generate Passive Income From Creating Your Art On A Blockchain - 1st Edition
Value Bird Publications
ISBN: 8419674001, 978-8419674005
$0 $23.95
Cryptocurrency Mining Secrets Tips Hacks And Guides For Mining Ethereum Litecoin Zcash Dash Ravencoin And Other Cryptocurrencies - 1st Edition
Tic Tac Bank Emprendimiento E Inversion
ISBN: 979-8747508552
$0 $11.50
Three Dimensional Introduction To Protein Structures From Basic Structure To Bioinformatics Isbn 4061538810 Japanese Import - 1st Edition
Hiroyuki Tou
ISBN: 4061538810, 978-4061538818
$0 $36.47