Logica em Ciência da Computação baixar o 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, publicado por LTC. 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: pdf, mp3, áudio-livro, kindle. 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 LivrosQualidade. Veja ainda as outras obras de Mark Ryan em nosso catálogo.