Logica em Ciência da Computação baixar livro de graça

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 introdução a argumentos formais que são, ao mesmo tempo, relevantes para as necessidades da ciência da computação moderna e suficientemente rigorosas para aplicações práticas. O livro inclui as versões mais atuais das ferramentas NuSMV e Alloy. Apresenta seções sobre a verificação de modelos na lógica temporal de tempo linear, programas de resoluç ão SAT, lógica de segunda ordem e programação por contrato.

Procurando Logica em Ciência da Computação? Aqui você encontra tudo sobre este livro de Mark Ryan em 1 de janeiro de 2008. Nesta página estão a descrição da obra, os detalhes da edição (326 páginas) e os formatos disponíveis para baixar: epub, pdf, lit, odf. O livro está escrito em Português. Se você gosta de Computação, Informática e Mídias Digitais, Tecnologia do Negócio, explore também outros títulos da mesma categoria no Leitura em português. Veja ainda as outras obras de Mark Ryan em nosso catálogo.