Métodos Formais para Especificação de Software Métodos Formais ...
Paulo Blauth Menezes Linguagens Formais e Autc3b4matos
178
-
Upload
jennifer-baldwin -
Category
Documents
-
view
229 -
download
0
description
Apresenta os principais conceitos e resultados de linguagens formais e autômatos, de uma forma simples e acessível, sem descuidar do desenvolvimento do raciocínio nem dos aspectos matemático-formais. Atende as diretrizes curriculares do MEC.