語系
Piterman, Nir.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
System design
Artificial Intelligence.
Logic, Symbolic and mathematical.
Computer science.
Programming languages (Electronic computers)
Computer networks.
Programming Languages, Compilers, Interpreters.
System analysis
Programming languages (Electronic computers).
Computer software