Formal specification using Z : a modelling approach

著者

    • Bottaci, Leonardo
    • Jones, John

書誌事項

Formal specification using Z : a modelling approach

Leonardo Bottaci, John Jones

International Thomson Publishing, c1995

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 293-294) and index

詳細情報

  • NII書誌ID(NCID)
    BA29838628
  • ISBN
    • 1850321094
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    London ; Bonn
  • ページ数/冊数
    xii, 320 p.
  • 大きさ
    24 cm
ページトップへ