Logica em Ciência da Computação baixar

Isbn 10: 8521616104

Isbn 13: 9788521616108

Logica em Ciência da Computação pdf

por

Escolha um formato:

Escolha um formato:

zip baixar
rar baixar
pdf baixar
ibook baixar
epub baixar
kindle baixar

Descrição do livro

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.

Número de páginas :326
Isbn 10 :8521616104
Isbn 13 :9788521616108
Encadernação :Capa Comum
Edição Logica em Ciência da Computação:2ª
© 2026 book-files.republic-it.online Termos e condições
Porto do livro Português, ou afiliadas. Todos os direitos reservados.