PROCESSAMENTO DE UMA LINGUAGEMSEMI-FORMAL VISANDO A VERIFICACAO DE PROPRIEDADES DE PROGRAMAS DEAUTOMACAO INDUSTRIAL.

Na minha lista:
Detalhes bibliográficos
Main Authors: ROCHA, MARCIO OLIVEIRA., Leão, Jorge Lopes de Souza.
Formato: Livro
Idioma:Português
Publicado em: UFRJ COORD PROG POS GRAD ENGENHARIA, S1992
Assuntos:
ELECTRICAL ENGINEERING.
Inteligência artificial.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000175298&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados