語系
Esparza, Javier.
概要
| 作品: | 7 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Unfoldings = A Partial-Order Approach to Model Checking /
by:
Heljanko, Keijo.; Esparza, Javier.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logics and languages for reliability and security
by:
Grumberg, Orna.; Workshop on the Preservation of Stability under Discretization ((2001 :); Spanfelner, Bernd.; Esparza, Javier.
(書目-語言資料,印刷品)
Foundations of Software Science and Computation Structures = 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
SpringerLink (Online service); Murawski, Andrzej S.; Esparza, Javier.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
Chen, Yu-Fang.; Cheng, Chih-Hong.; Esparza, Javier.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Software engineering.
Theory of Computation.
Operating systems (Computers)
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer security
Computer logic
Artificial Intelligence.
Computer systems
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.