Aplicação de Redes de Petri à Especificação Formal de Sistemas, via Invariantes. (Valid. Nac. DOU n. 115 p. 18 e p. 20 ISSN 1677-7042 proc. 23001.000066/2010-75 parecer CNE/CES 57/2012) Documento uri icon

  •  
  • Visão geral
  •  
  • Pesquisas
  •  
  • Identidade
  •  
  • Ver todos
  •  

tipo

  • master thesis

data de publicação

  • 1997-01-01