Livro Logica Em Ciencia Da Computaçao – Ryan, Mark – ISBN: 8521616104

Livro Logica Em Ciencia Da Computaçao – Ryan, Mark – ISBN: 8521616104

Você já leu o livro Logica Em Ciencia Da Computaçao? Deixe seu comentário:

Confira o resumo do livro Livro Logica Em Ciencia Da Computaçao – Ryan, Mark – ISBN: 8521616104 e veja onde comprar em loja online.

‘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.

  • Origem:  NACIONAL
  • Editora:  LTC
  • Idioma:  PORTUGUÊS
  • Edição:  2
  • Ano:  2008
  • País de Produção: Brazil
  • Código de Barras:  9788521616108
  • ISBN:  8521616104
  • Encadernação:  BROCHURA
  • Altura: 28.00 cm
  • Largura: 21.00 cm
  • Peso: 00.93 kg
  • Complemento:  NENHUM
  • Nº de Páginas:  326

ISBN: 8521616104

+ Informática

Livro Hardware Na Pratica – Vasconcelos, Laercio – ISBN: 8586770183
Livro Hardware Na Pratica – Vasconcelos, Laercio – ISBN: 8586770183
Livro Algoritmos E Logica De Programaçao – Soares, Marcio – ISBN: 8522111294
Livro Algoritmos E Logica De Programaçao – Soares, Marcio – ISBN: 8522111294
Livro Aplicaçoes Web Em Xml – Tolentino, Ricardo – ISBN: 858707380X
Livro Aplicaçoes Web Em Xml – Tolentino, Ricardo – ISBN: 858707380X
Livro Treinamento Digital – Planejamento E Controle – Nocera, Rosaldo De Jesus – ISBN: 8591001567
Livro Treinamento Digital – Planejamento E Controle – Nocera, Rosaldo De Jesus – ISBN: 8591001567

+ Aeromobil

Nelson Rodrigues é editado pela primeira vez em Portugal
Nelson Rodrigues é editado pela primeira vez em Portugal
Geektopia: biografia de Stan Lee chega ao Brasil
Geektopia: biografia de Stan Lee chega ao Brasil
Livro sobre Reposição Hormonal revela a importância dos hormônios para a saúde de todos
Livro sobre Reposição Hormonal revela a importância dos hormônios para a saúde de todos
Novo livro traz Clarice Lispector como heroína real
Novo livro traz Clarice Lispector como heroína real

5 motivos para você adorar o livro Eu Fico Loko
5 motivos para você adorar o livro Eu Fico Loko
Tesouros da Igreja Católica são encontrados no livro “Magistério e Doutrina Social da Igreja”
Tesouros da Igreja Católica são encontrados no livro “Magistério e Doutrina Social da Igreja”
Nenhum livro aguenta os relaxados, saiba como cuidar com carinho
Nenhum livro aguenta os relaxados, saiba como cuidar com carinho
Livro Resiliência de Érika Stancolovich ganha espaço na crise
Livro Resiliência de Érika Stancolovich ganha espaço na crise
Tags:, , , , , , , , , , , , , , , , , , , , , , , , , , , ,