- 5 Results
Lowest price: € 124.89, highest price: € 199.23, average price: € 169.19
1
Formal Models of Operating System Kernels - Craig, Iain D.
Order
at amazon.co.uk
£ 106.89
(aprox. € 124.89)
Shipment: € 5.611
Order
Provider details
Sponsored link
Craig, Iain D.:

Formal Models of Operating System Kernels - Paperback

2010, ISBN: 9781849965927

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2007, 346 Seiten, Publiziert: 2010-10-13T00:00:01Z, Produktgruppe: Book, 0.49 kg, Operating Systems, Computer Science,… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
close (x)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
Order
at amazon.de
€ 147.58
Shipment: € 3.001
Order
Provider details
Sponsored link

Craig, Iain D. D.:

Formal Models of Operating System Kernels - Paperback

2010, ISBN: 9781849965927

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 348 Seiten, Publiziert: 2010-10-13T00:00:01Z, Produktgruppe: Buch, 1.08 kg, Informatik, IT-Ausbildung & -Beruf… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
3
Formal Models of Operating System Kernels - Craig, Iain D.
Order
at AbeBooks.de
€ 199.23
Shipment: € 66.801
Order
Provider details
Sponsored link
Craig, Iain D.:
Formal Models of Operating System Kernels - Paperback

2010

ISBN: 1849965927

[EAN: 9781849965927], Gebraucht, guter Zustand, [PU: Springer 2010-10-13], Item is in like new condition with minor shelf wear. Might have a remainder mark or slight wear from sitting on … More...

NOT NEW BOOK. Shipping costs: EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
close (x)
4
Order
at alibris.co.uk
€ 181.11
Order
Details & Shipping
Sponsored link
Iain D. D. Craig:
Formal Models of Operating System Kernels - Paperback

2010, ISBN: 9781849965927

Paperback, Neubuch, BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12 days. Please note some orders may be shipped from UK with same delivery timeframe, ***NO EXPED… More...

Shipping costs:plus shipping costs Wilmington, DE, Awesomebooks_Newbooks
close (x)
5
Order
at alibris.co.uk
€ 193.13
Order
Details & Shipping
Sponsored link
Craig, Iain D.:
Formal Models of Operating System Kernels - Paperback

2010, ISBN: 9781849965927

Paperback, New., 333 p. XIII, 333 p. Intended for professional and scholarly audience., England, [PU: Springer London Ltd]

Shipping costs:plus shipping costs Uxbridge, MIDDLESEX, Ria Christie Books
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Formal Models of Operating System Kernels
Author:
Title:
ISBN:

9781849965927


Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.

Details of the book - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer
348 Pages
Weight: 0,526 kg
Language: eng/Englisch

Book in our database since 2011-07-19T17:06:46-04:00 (New York)
Detail page last modified on 2023-07-17T07:49:39-04:00 (New York)
ISBN/EAN: 9781849965927

ISBN - alternate spelling:
1-84996-592-7, 978-1-84996-592-7

Information from Publisher

Author: Iain D. Craig
Title: Formal Models of Operating System Kernels
Publisher: Springer; Springer London
333 Pages
Publishing year: 2010-10-13
London; GB
Printed / Made in
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XIII, 333 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Hardware; Performance; Text; complexity; computer; data structures; formal specification; kernel; operating system; security; Computer System Implementation; Operating Systems; Software Engineering; Discrete Mathematics in Computer Science; Mathematical Applications in Computer Science; Betriebssysteme; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; Theoretische Informatik; BB

Standard and Generic Components.- A Simple Kernel.- A Swapping Kernel.- Using Messages in the Swapping Kernel.- Virtual Storage.- Final Remarks.
First book to provide formal specifications for kernels Clear descriptions of how kernels are central to the functioning of computers, with particular reference to the security and reliability of the operating system Takes a prescriptive rather than the usual descriptive approach
< to archive...