Tempresto - Lógica em Ciência da Computação: Modelagem e Argumentação
Avalie
 

Livros

Lógica em Ciência da Computação: Modelagem e Argumentação


Autor: Michael Huth; Mark Ryan

Categoria: Informática

ISBN 10: 8521616104

ISBN 13: 9788521616108

Edição: 2

Editora: LTC

Publicado em: 2008

Páginas: 326

Idioma: Português

» Acesse o Forum do Livro
» Corrigir este livro

Sinopse:

'Lógica em Ciência da Computação' pretende atender às necessidades no estudo e na prática da verificação de hardwares e softwares; procura fornecer uma...

Expandir


Outros Usuários que Possuem este Livro



Últimas bibliotecas