An introduction to formal program verification

書誌事項

An introduction to formal program verification

Ali Mili

Van Nostrand Reinhold Co., c1985

大学図書館所蔵 件 / 12

この図書・雑誌をさがす

注記

Includes index

詳細情報

  • NII書誌ID(NCID)
    BA00040472
  • ISBN
    • 0442263228
  • LCCN
    84003528
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York
  • ページ数/冊数
    xii, 291 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
ページトップへ