| Record ID | marc_loc_2016/BooksAll.2016.part35.utf8:85378837:1074 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part35.utf8:85378837:1074?format=raw |
LEADER: 01074cam a22003137a 4500
001 2007931774
003 DLC
005 20080312092427.0
008 070626s2007 enk b 000 0 eng d
010 $a 2007931774
015 $aGBA741735$2bnb
016 7 $a013756544$2Uk
020 $a9781846289668 (hbk.)
020 $a1846289661 (hbk.)
020 $a184628967X (ebook)
020 $a9781846289675 (ebook)
035 $a(OCoLC)ocn137313627
040 $aUKM$cUKM$dBAKER$dBTCTA$dDLC
042 $aukblcatcopy$alccopycat
050 00 $aQA76.76.O63$bC7244 2007
082 04 $a005.42$222
100 1 $aCraig, I.
245 10 $aFormal refinement for operating system kernels /$cIain D. Craig.
260 $aLondon :$bSpringer,$cc2007.
300 $axiii, 332 p. ;$c25 cm.
504 $aIncludes bibliographical references [p. 323].
650 0 $aOperating systems (Computers)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0826/2007931774-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0826/2007931774-t.html