このページのリンク

Formal refinement for operating system kernels / Iain D. Craig

データ種別 図書
出版情報 London : Springer , c2007
本文言語 英語
大きさ xiii, 332 p. : ill. ; 25 cm

所蔵情報を非表示

書庫2階 QA:76.76:O63:C7244:2007 : hbk 9781846289668 005030606

書誌詳細を非表示

一般注記 Includes bibliographical references (p. [323])
著者標目 *Craig, I.
件 名 LCSH:Operating systems (Computers)
分 類 LCC:QA76.76.O63
DC22:005.42
巻冊次 : hbk ; ISBN:9781846289668 ; XISBN:1846289661 REFWLINK
ISBN 9781846289668
目次/あらすじ

 類似資料