Preço Livro - Lógica em Ciência da Computação

Lógica em Ciência da Computaçao Pretende Atender às Necessidades no Estudo e na Prática da Verificaçao de Hardwares e Softwares; Procura Fornecer uma Introduçao a Argumentos Formais que Sao, ao Mesmo Tempo, Relevantes para as Necessidades da Ciência da Computaçao Moderna e Suficientemente Rigorosas para Aplicaçoes Práticas. o Livro Inclui as Versoes Mais Atuais das Ferramentas NuSMV e Alloy. Apresenta Seçoes Sobre a Verificaçao de Modelos na Lógica Temporal de Tempo Linear, Programas de Resoluça

Lógica em Ciência da Computaçao Pretende Atender às Necessidades no Estudo e na Prática da Verificaçao de Hardwares e Softwares; Procura Fornecer uma Introduçao a Argumentos Formais que Sao, ao Mesmo Tempo, Relevantes para as Necessidades da Ciência da Computaçao Moderna e Suficientemente Rigorosas para Aplicaçoes Práticas. o Livro Inclui as Versoes Mais Atuais das Ferramentas NuSMV e Alloy. Apresenta Seçoes Sobre a Verificaçao de Modelos na Lógica Temporal de Tempo Linear, Programas de Resoluça