imagem não disponível
Lógica em Ciência da Computação - Modelagem e Argumentação sobre Sistemas

Lógica em Ciência da Computação - Modelagem e Argumentação sobre Sistemas

(2.ª Edição)

 

idioma: Português do Brasil, Português
Editor: LTC
Edição ou reimpressão: fevereiro de 2008
Portes
Grátis
10%
58,30€
Poupe 5,83€ (10%) Cartão Leitor Bertrand
Envio até 4 dias
portes grátis

Esta segunda edição de Lógica em Ciência da Computação atende às necessidades mais atuais no estudo e na prática da verificação de hardwares e softwares, continuando a 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. A apresentação é clara e simples, com material principal descrito no início do livro e técnicas mais aprimoradas introduzidas quando necessárias pelas aplicações. Esta nova edição inclui as versões mais atuais das ferramentas NuSMV e Alloy; foram feitas melhorias em todo o texto em relação à primeira edição, com seções extras e expandidas sobre a verificação de modelos na lógica temporal de tempo linear, programas de resolução SAT, lógica de segunda ordem, a ferramenta de especificação Alloy e programação por contrato. A cobertura sobre verificação de modelos também foi substancialmente atualizada, e mais exercícios foram adicionados.

Lógica em Ciência da Computação - Modelagem e Argumentação sobre Sistemas
(2.ª Edição)
ISBN: 9788521616108 Ano de edição ou reimpressão: Editor: LTC Idioma: Português do Brasil, Português Dimensões: 210 x 280 x 30 mm Encadernação: Capa mole Páginas: 332 Tipo de Produto: Livro Classificação Temática: Livros  >  Livros em Português  >  Informática  >  Programação

Sugestões

UML, Metodologias e Ferramentas CASE
10%
portes grátis
10% Cartão Leitor Bertrand
22,20€
Edições Centro Atlântico
UML - Metodologias e Ferramentas CASE - Volume 1
10%
portes grátis
10% Cartão Leitor Bertrand
22,20€
Edições Centro Atlântico
X
O QUE É O CHECKOUT EXPRESSO?


O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.