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.
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.