Languages
Cavalcanti, Ana.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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:)
(Electronic resources)
Subjects
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.