| zip | Baixar grátis |
|---|---|
| rar | Baixar grátis |
| epub | Baixar grátis |
| Baixar grátis | |
| lit | Baixar grátis |
| odf | 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
Editora Europa (797) Vários Autores (562) On Line Editora (526) Publishing lmgdaw (341) Andrey Taranov (219) Morari Media PT (189) Nick Snels (169) Editora Coquetel (160) lingoXpress (93) EdiCase Publicações (88) Neiriberto Silva De Freitas (83) Bernardo Musumeci (77) Todolivro (75) DARE AGRO (69) EdiCase Digital (69) Professor Ricardo De Souza (67) Veja São Paulo (62) Ciranda Cultural (61) JOSEP MARIA PALAUS PLANES (58) Marcos Gomes (55)