Home > Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 15 of 15 entries
Chapters/Headings | Author(s) | Pages | Info |
1-15 | |||
16-27 | |||
28-43 | |||
44-59 | |||
60-75 | |||
76-91 | |||
92-107 | |||
108-123 | |||
124-139 | |||
140-155 | |||
156-171 | |||
172-187 | |||
188-203 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 15 of 15 entries
Topics
Mathematical Logic and Formal Languages Programming Techniques Information Systems Software engineering Logic design Logics and Meanings of Programs Computer science Management of Computing and Information Systems Programming Languages Compilers Interpreters System design Computer software development