语系
Bloem, Roderick.
概要
| 作品: | 1 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
Hardware and software[electronic resource] :verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
Arbel, Eli.; Bloem, Roderick.; Clark Conference ((2005 :); SpringerLink (Online service)
(书目-电子资源)
Computer aided verification[electronic resource] :26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
Biere, Armin.; Bloem, Roderick.; Clark Conference ((2005 :); SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Mathematical Logic and Formal Languages.
Computer logic.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Software architecture
Logic, Symbolic and mathematical.
Computer software
Artificial Intelligence (incl. Robotics)
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Computer Systems Organization and Communication Networks.
Computer science.
Computer networks.
Computer Communication Networks.
Artificial intelligence.