語系
ter Beek, Maurice H.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
(1998 :); Nickovic, Dejan.; SpringerLink (Online service); ter Beek, Maurice H.
(書目-電子資源)
From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
Fantechi, Alessandro.; Semini, Laura.; SpringerLink (Online service); ter Beek, Maurice H.
(書目-電子資源)
主題
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.
Computer software
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.