Pular para o conteúdo
Informática

Model Checking

1ª Edição - 1999314 páginasMit Presspt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

O produto não possui descrição

Detalhes do livro

Título
Model Checking
Autor
Edmund M. Clarke Jr
Editora
Mit Press
Ano
2026
Páginas
314 páginas
Idioma
PT
ISBN-13
9780262032704
Edição
1ª Edição - 1999
Formato
Hardcover

Informática

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras