語系
Giannakopoulou, Dimitra.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
Mavridou, Anastasia.; SpringerLink (Online service); Jha, Susmit.; Lee, Ritchie.; Giannakopoulou, Dimitra.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental approaches to software engineering = 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Orejas, Fernando.; SpringerLink (Online service); Giannakopoulou, Dimitra.
(書目-語言資料,印刷品)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Computer organization.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Management of Computing and Information Systems.
Artificial Intelligence.
Simulation and Modeling.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.