Languages
Giannakopoulou, Dimitra.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.