語系
Cavalcanti, Ana.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
Cavalcanti, Ana.; Congress on Progress and Controversies in Oncological Urology (2000:); Breitman, Karin.; SpringerLink (Online service)
(書目-電子資源)
Theoretical aspects of computing - ICTAC 2010 = 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings /
by:
Cavalcanti, Ana.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
Cavalcanti, Ana.; Dams, Dennis.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer software- Development
Computer science- Mathematics
Software engineering
System design- Mathematics
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Models and Principles.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Management of Computing and Information Systems.