Model checking

E. M. Clarke 1945- Orna Grumberg; Doron Peled 1962-

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.24 C553m ) e outros locais(Acessar)

Título:
Model checking
Autor: E. M. Clarke 1945-
Orna Grumberg; Doron Peled 1962-
Assuntos: Computer systems -- Verification; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; ENGENHARIA DE SOFTWARE; PROVA AUTOMÁTICA DE TEOREMAS; INTELIGÊNCIA ARTIFICIAL
Notas: Includes bibliographical references (p. [297]-307) and index.
Editor: Cambridge, Mass. MIT Press
Data de criação/publicação: c1999
Formato: xiv, 314 p. ill. 24 cm..
Idioma: Inglês

Links

Voltar para lista de resultados