語系
ter Beek, Maurice H.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
FMICS (Conference) (2020 :); ter Beek, Maurice H.; Nickovic, Dejan.; SpringerLink (Online service)
(書目-電子資源)
From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
ter Beek, Maurice H.; Fantechi, Alessandro.; Semini, Laura.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer software- Verification