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.
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)