Computer aided verification : 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014: proceedings

著者

• CAV (Conference) (26th : 2014 : Vienna, Austria)
• Biere, Armin
• Bloem, Roderick P.
• VSL (Conference) (2014 : Vienna, Austria)

書誌事項

Computer aided verification : 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014: proceedings

Armin Biere, Roderick Bloem (eds.)

（Lecture notes in computer science, 8559）

Springer, c2014

• : pbk

注記

Includes bibliographical references and author index

"LNCS sublibrary: SL 1 - Theoretical computer science and general issues" -- T.p. verso

詳細情報

• NII書誌ID(NCID): BD17996485
• ISBN:
  • 9783319088662
• LCCN: 2014942534
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xxxiii, 877 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 005.14
• 件名:
  • LCSH : Computer programs -- Verification -- Congresses
  • FREE : CAV
• 親書誌ID:
  • BA00009279