Preisvergleich / Wohnen / Büro / Formal Models of Operating System Kernels, Fachbücher

Formal Models of Operating System Kernels, Fachbücher

160,49 €

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. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane tack. I decided to suggest the material as the subject of a book to Beverley Ford. The material was sent on a Thursday (I think). The following Monday, I received an email from her saying that it had gone out for review. The review process took less than 2 weeks; the response was as surprising as it was encouraging: a de?nite acceptance. So I got on with it. This book is inte.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

80 Punkte
% Best Deal

160,49 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:Springer