Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

著者

書誌事項

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

Isil Dillig, Jens Palsberg (eds.)

(Lecture notes in computer science, 10747 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)

Springer, c2018

タイトル別名

ARCoSS

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB27410773
  • ISBN
    • 9783319737201
  • 出版国コード
    sz
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Cham
  • ページ数/冊数
    xviii, 540 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ