Caderno Lireo12
Hábitos
Hábitos
Parou de ler? Como retomar o hábito de leitura sem culpa
Todo leitor passa por períodos de seca. A diferença está em como você volta. Estratégias testadas para sair do bloqueio literário e reencontrar o prazer de ler.
Informática
Interactive Theorem Proving And Program Development
1ª Edição - 2004500 páginasSpringer Verlag *pt
Seja o primeiro a avaliar
Sua leitura no Lireo
Guarde este livro na sua estante
Crie uma conta gratuita e continue exatamente desta página.
Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca
Sua leitura no Lireo
Guarde este livro na sua estante
Crie uma conta gratuita e continue exatamente desta página.
Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca
Sinopse
This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Detalhes do livro
- Título
- Interactive Theorem Proving And Program Development
- Autor
- Yves | Casteran Pierre Bertot
- Editora
- Springer Verlag *
- Ano
- 2026
- Páginas
- 500 páginas
- Idioma
- PT
- ISBN-13
- 9783540208549
- Edição
- 1ª Edição - 2004
- Formato
- Hardcover
Informática
Livros na mesma categoria
Arduino em ação
Martin | Noble Joshua | Hochenbaum Jordan Evans
Writing: The Story Of Alphabets And Scri
Autor Não Cadastrado
Artificial Dreams - The Quest For Non-Biological Intellingence
Artificial Dreams - The Quest For Non-Biological Intellingence
H.R. Ekbia
Redes Domiciliares e Redes de Acesso à Internet
LuíS Henrique Maciel Kosmalski | Duarte Otto Carlos Muniz Bandeira | Rubinstein Marcelo GonçAlves Costa
Excel - CáLculos para Engenharia
Bruna Fernanda de Sousa | Muora Luiz Fernando de Roque
Previsão de Vendas no Excel para Leigos
Conrad Carlberg
Foundations Of Causal Decision Theory, The
James M. Joyce
Powerpoint 2016
Denise de Fatima | Perez Camila Ceccatto da Silva Andrade
Introducing Anova And Ancova - a Glm Approcah
Introducing Anova And Ancova - a Glm Approcah
Andrew Rutherfoord
Handbook Of Texture Analysis
Majid | Xie Xianghua | Suri Jasjit Mirmehdi
Statistical Methods In Bioinformatics - An Introduction
Statistical Methods In Bioinformatics - An Introduction
R. G. | Ewens Warren J. Grant
Animation Art At Auction - Since 1994
Jeff Lotman
Blog Lireo
Dicas e recomendações para leitores
Caderno Lireo08
Dicas
Dicas
Como escolher o próximo livro para ler (sem gastar horas decidindo)
A paralisia da escolha atinge todo leitor. Com mais de um milhão de livros publicados por ano, como decidir o próximo? Veja estratégias práticas para escolher bem e rápido.
Caderno Lireo56
Cultura
Cultura
Livros sobre meio ambiente e clima que todos deveriam ler
A crise climática é o desafio do século. Estes livros explicam o que está acontecendo, por que importa e o que pode ser feito, com ciência, urgência e esperança.
Soluções institucionais
Para escolas, universidades, autores e editoras