語系
Giannakopoulou, Dimitra.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
Giannakopoulou, Dimitra.; SpringerLink (Online service); Kroening, Daniel.
(書目-電子資源)
Software engineering and formal methods = 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
Giannakopoulou, Dimitra.; Salaun, Gwen.; SpringerLink (Online service)
(書目-電子資源)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service)
(書目-電子資源)
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:
Giannakopoulou, Dimitra.; Orejas, Fernando.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Compilers (Computer programs)
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Computer software- Quality control
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science.
Computer Communication Networks.
Computer software- Verification