Specification in B : an introduction using the B toolkit

著者

書誌事項

Specification in B : an introduction using the B toolkit

Kevin Lano, Howard Haughton

Imperial College Press, c1996

  • : pbk

大学図書館所蔵 件 / 全3件

この図書・雑誌をさがす

注記

Includes index

詳細情報

  • NII書誌ID(NCID)
    BA29128316
  • ISBN
    • 1860940080
    • 1860940188
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    London
  • ページ数/冊数
    xi, 242 p.
  • 大きさ
    22 cm
ページトップへ