The University of Texas at Tyler Libraries catalog › Details for: Formal refinement for operating system kernels /

Normal view MARC view ISBD view

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

By: Craig, IMaterial type: Text

TextSeries: 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.