Languages
Piterman, Nir.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Smolka, Scott A.; Piterman, Nir.; SpringerLink (Online service)
(Language materials, printed)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
SpringerLink (Online service); Piterman, Nir.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
by:
Piterman, Nir.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computer science.
Programming languages (Electronic computers)
Computer networks.
Computer Science.
Programming Languages, Compilers, Interpreters.
System analysis
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Computer communication systems.
Artificial Intelligence (incl. Robotics)
System design
Artificial Intelligence.
Logic, Symbolic and mathematical.