Logica em Ciência da Computação Baixar grátis

Isbn 10: 8521616104

Isbn 13: 9788521616108

Logica em Ciência da Computação odf de graça baixar

por

Escolha um formato:

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ª
Livros recentes