INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT
Favoritar
Ref:
628548
De: R$ 1.332,64Por: R$ 932,85ou de
Preço a vista:R$ 932,85
Economia de R$ 399,79
Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
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.
Ficha Técnica
Especificações
| ISBN | 9783540208549 |
|---|---|
| Pré venda | Não |
| Peso | 558g |
| Autor para link | BERTOT YVES,CASTERAN PIERRE |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 500 |
| Número da edição | 1ª EDIÇÃO - 2004 |
| Código Interno | 628548 |
| Código de barras | 9783540208549 |
| Acabamento | HARDCOVER |
| Autor | BERTOT, YVES | CASTERAN, PIERRE |
| Editora | SPRINGER VERLAG * |
| Sob encomenda | Sim |