言語
Kroening, Daniel.
概観
| 著作: | 1 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
…で:
Clark Conference ((2005 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
…で:
Clark Conference ((2005 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Decision procedures[electronic resource] :an algorithmic point of view /
…で:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(言語・文字資料 (印刷物))
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic, Symbolic and mathematical.
Computer software
Decision making
Algorithms.
Optimization.
Computer Systems Organization and Communication Networks.
Computer Science.