語系
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 /
by:
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 /
by:
Clark Conference ((2005 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Decision procedures[electronic resource] :an algorithmic point of view /
by:
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.