Matches in Library of Congress for { <http://lccn.loc.gov/2007931774> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2007931774 contributor B11062273.
- 2007931774 created "c2007.".
- 2007931774 date "2007".
- 2007931774 date "c2007.".
- 2007931774 dateCopyrighted "c2007.".
- 2007931774 description "Includes bibliographical references [p. 323].".
- 2007931774 extent "xiii, 332 p. ;".
- 2007931774 identifier "1846289661 (hbk.)".
- 2007931774 identifier "184628967X (ebook)".
- 2007931774 identifier "9781846289668 (hbk.)".
- 2007931774 identifier "9781846289675 (ebook)".
- 2007931774 identifier 2007931774-d.html.
- 2007931774 identifier 2007931774-t.html.
- 2007931774 issued "2007".
- 2007931774 issued "c2007.".
- 2007931774 language "eng".
- 2007931774 publisher "London : Springer,".
- 2007931774 subject "005.42 22".
- 2007931774 subject "Operating systems (Computers)".
- 2007931774 subject "QA76.76.O63 C7244 2007".
- 2007931774 title "Formal refinement for operating system kernels / Iain D. Craig.".
- 2007931774 type "text".