國立虎尾科技大學 |

概要

作品:	0 作品在 2 項出版品 1 種語言

書目資訊

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

Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings / by: Strichman, Ofer.; Tzoref-Brill, Rachel.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

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

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

主題

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