Languages
Strichman, Ofer.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Decision Procedures = An Algorithmic Point of View /
by:
SpringerLink (Online service); Strichman, Ofer.; Kroening, Daniel.
(Language materials, printed)
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 :)
(Language materials, printed)
Decision Procedures = An Algorithmic Point of View /
by:
SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Decision procedures = an algorithmic point of view /
by:
Strichman, Ofer.; Kroening, Daniel.; SpringerLink (Online service)
(Language materials, printed)
Subjects
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