De: R$ 0,00Por: R$ 765,97ou X de
Para envios internacionais, simule o frete no carrinho de compras.
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.
Mostrar mais
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 |
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 |