| zip | Baixar grátis |
|---|---|
| rar | Baixar grátis |
| Baixar grátis | |
| mp3 | Baixar grátis |
| audiobook | Baixar grátis |
| kindle | Baixar grátis |
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 (229) Diego Rodrigues (31) Nathan J. Colebrook (28) Vários Autores (18) Aravind Choudhary (16) Bruce Password Books (16) Joy Creative Publishing (16) StudioD21 Smart Tech Content (15) On Line Editora (14) Zane Vertex (12) Corin Halstead (11) Liora Byteforge (11) Eleanor Sloane (10) Aidan Foxx (9) Alvero Velmora (9) Leandro Calado (9) Nathan Westwood (9) Asha Sohal (8) GEORGENES MEDEIROS DE OLIVEIRA (8) Hayden Van Der Post (8)