Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings

著者

書誌事項

Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings

Daniel Kroening, Corina S. Păsăreanu (eds.)

(Lecture notes in computer science, 9206-9207 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)

Springer, c2015

  • pt. 1
  • pt. 2

大学図書館所蔵 2件 / 2

すべての地域すべての図書館

この図書・雑誌をさがす

注記

Includes bibliographical references and author index

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

詳細情報

ページトップへ