Formal refinement for operating system kernels / Iain D. Craig.

By: Craig, IMaterial type: TextTextSeries: SpringerPublisher: London : Springer, c2007Description: 1 online resource (xiii, 332 p.)ISBN: 9781846289675; 184628967XSubject(s): Operating systems (Computers)Additional physical formats: Print version:: Formal refinement for operating system kernels.LOC classification: QA76.76.O63 | C7244 2007Online resources: Click here to view this ebook.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
Online
QA76.76.O63 C7244 2007 (Browse shelf) http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-1-84628-967-5 Available ocn184985021

Includes bibliographical references [p. 323].

Description based on print version record.

There are no comments on this title.

to post a comment.