語系
Dragoi, Cezara.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
VMCAI (Conference) (2023 :); Dragoi, Cezara.; Emmi, Michael.; SpringerLink (Online service); Wang, Jingbo.
(書目-電子資源)
Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings /
by:
International Static Analysis Symposium (2021 :); Dragoi, Cezara.; Mukherjee, Suvam.; Namjoshi, Kedar S.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Mathematics of Computing.
Logic in AI.
Operating Systems.
Control Structures and Microprogramming.
Computer programming
Special Purpose and Application-Based Systems.
Computer System Implementation.
Computer Communication Networks.
Computer programs- Verification