Formal Models of Operating System Kernels, Iain D. Craig

Formal Models of Operating System Kernels (eBook / PDF)

Iain D. Craig

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "Formal Models of Operating System Kernels".

Kommentar verfassen

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.

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


Print-Originalausgabe 142.99 €

eBook107.09 €

Sie sparen 25%

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 29589991

Verschenken
Auf meinen Merkzettel
Versandkostenfrei
Bestellungen mit diesem Artikel sind versandkostenfrei!

Das könnte Ihnen auch gefallen

Kommentare zu "Formal Models of Operating System Kernels"

Mehr Bücher des Autors

Ähnliche Artikel finden