LOGICA EM CIENCIA DA COMPUTAÇAO
by Mark Ryan, Michael Huth
326 pages· ISBN 9788521616108
About
'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.
Discuss LOGICA EM CIENCIA DA COMPUTAÇAO with other readers
Join or start a book club for LOGICA EM CIENCIA DA COMPUTAÇAO on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for LOGICA EM CIENCIA DA COMPUTAÇAO?
Sign up free on Readfeed, then browse public clubs or start your own club with LOGICA EM CIENCIA DA COMPUTAÇAO as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss LOGICA EM CIENCIA DA COMPUTAÇAO with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about LOGICA EM CIENCIA DA COMPUTAÇAO with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.