Constructive Analysis and Synthesis of Programs - Marco Benini - Livros - Lulu.com - 9781445206387 - 4 de outubro de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Marco Benini
Constructive Analysis and Synthesis of Programs

Preço
R$ 194,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de out - 11 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Marco Benini

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 4 de outubro de 2009
ISBN13 9781445206387
Editoras Lulu.com
Páginas 140
Dimensões 150 × 220 × 20 mm   ·   358 g
Idioma Inglês  

Mais por Marco Benini

Mostrar tudo

Ver tudo de Marco Benini