Kroening, Daniel.

概要

作品:	1 作品在 3 項出版品 1 種語言

書目資訊

Decision Procedures = An Algorithmic Point of View / by: SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer. (書目-語言資料,印刷品)

Validation of Evolving Software by: Kroening, Daniel.; SpringerLink (Online service); Sharygina, Natasha.; Mariani, Leonardo.; Chockler, Hana. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Decision Procedures = An Algorithmic Point of View / by: SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / by: Kroening, Daniel.; SpringerLink (Online service); Păsăreanu, Corina S. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Decision procedures = an algorithmic point of view / by: Strichman, Ofer.; Kroening, Daniel.; SpringerLink (Online service) (書目-語言資料,印刷品)

Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by: Păsăreanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II / by: Pasareanu, Corina S.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Kroening, Daniel. (書目-語言資料,印刷品)

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Pasareanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題

Software Engineering. Mathematical logic. Computer organization. Software Engineering/Programming and Operating Systems. Computer logic. Turing machines. Decision making Software engineering. Mathematical optimization. Theory of Computation. Computers. Computer Science. Computer Systems Organization and Communication Networks. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Algorithms. Computer software Artificial Intelligence (incl. Robotics) Optimization. Computational complexity. Logic, Symbolic and mathematical.