INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT
Editora: SPRINGER VERLAG
Por: R$ 1.133,64 Em 4x de: R$ 283,41 No boleto: R$ 1.133,64 Comprar
Produto disponível sob encomenda
Pagamento nos cartões
- 1x de R$ 1.133,64 sem juros
- 2x de R$ 566,82 sem juros
- 3x de R$ 377,88 sem juros
- 4x de R$ 283,41 sem juros
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.
Ficha técnica
- Código de barras:
- 9783540208549
- Dimensões:
- 1.00cm x 16.00cm x 23.00cm
- Edição:
- 1ª EDIÇÃO - 2004
- Editora:
- SPRINGER VERLAG
- ISBN:
- 9783540208549
- ISBN13:
- 9783540208549
- Número de páginas:
- 500
- Peso:
- 558 gramas
- Capa dura:
- Sim