語系
Giannakopoulou, Dimitra.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
SpringerLink (Online service); Giannakopoulou, Dimitra.; Mery, Dominique.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
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:
Orejas, Fernando.; Giannakopoulou, Dimitra.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
主題
Management of Computing and Information Systems.
Software Engineering.
Formal methods (Computer science)
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.