Formal refinement for operating system kernels

書誌事項

Formal refinement for operating system kernels

Iain D. Craig

Springer, c2007

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references (p. [323])

詳細情報

  • NII書誌ID(NCID)
    BA8305191X
  • ISBN
    • 9781846289668
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    London
  • ページ数/冊数
    xiii, 332 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
ページトップへ