Carga Horária Teórica: 60 Horas.
Carga Horária Prática: 0 Horas.

Número de Créditos: 4.

Nível: Doutorado/Mestrado

Ementa: Tópicos avançados em Métodos Formais.

Bibliografia Básica:

- Denotational Semantics:A Methodology for Language Development, David A. Schmidt, Allyn and Bacon, 1985.
- The Formal Semantics of programming Languages: An Introduction. Glynn Winskel, Foundations of Computing Series, MIT Press, 1993.
- Programming Language Syntax and Semantics. David A. Watt, Prentice-Hall, 1991.