capítulo por capítulo baixar Logica em Ciência da Computação
por Mark Ryan
Logica em Ciência da Computação
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, ibook, epub, 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 Porto do livro Português. Veja ainda as outras obras de Mark Ryan em nosso catálogo.
Autores populares
Publishing lmgdaw (262) Nathan J. Colebrook (30) Diego Rodrigues (27) Joy Creative Publishing (21) Aravind Choudhary (15) Bruce Password Books (15) StudioD21 Smart Tech Content (14) Asha Sohal (11) Raul Valento (11) Eleanor Sloane (10) Jideon F Marques (10) Liora Byteforge (10) Zane Vertex (10) On Line Editora (9) Perry Hoover (9) Aethon A a Wales (8) Mohammad Saqib (8) Nathan Westwood (8) Nova Sinclair (8) Raphael Fox (8)Principais publicadores
O'Reilly Media Packt Publishing Edicoes Nosso Conhecimento Alta Books Novatec Independently published Bookman Clube de Autores Ciência Moderna Casa do Código Editora Senac São Paulo FCA Novatec Editora Érica Manning Publications Elsevier LTC Editora Érica Brasport Addison-Wesley Professional
