語系
Strichman, Ofer.
概要
| 作品: | 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.
Theory of Computation.
Computer Science.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
Optimization.
Computational complexity.
Logic, Symbolic and mathematical.
Mathematical optimization.
Computers.
Programming Languages, Compilers, Interpreters.
Software architecture
Computer software