Verifying temporal properties of systems

J. C. Bradfield

Localização: IME - Inst. Matemática e Estatística (QA860 B799v e. 1 )(Acessar)

Título:
Verifying temporal properties of systems
Autor: J. C. Bradfield
Assuntos: Automatic theorem proving; Petri nets; Verification (Logic); PROVA AUTOMÁTICA DE TEOREMAS; REDES DE PETRI; INTELIGÊNCIA ARTIFICIAL; ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
Notas: Includes bibliographical references (p. 105-109) and index.
Títulos relacionados: Série:Progress in theoretical computer science
Editor: Boston Birkhäuser
Data de criação/publicação: c1992
Formato: vi, 113 p ill. 25 cm..
Idioma: Inglês

Links

Voltar para lista de resultados