De: R$ 1.562,23Por: R$ 1.093,56ou X de
Economia de R$ 468,67
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
Investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logicbased software reuse.
Ficha Técnica
Especificações
| ISBN | 9783540679899 |
|---|---|
| Pré venda | Não |
| Peso | 255g |
| Autor para link | SCHUMANN JOHANN M. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 228 |
| Número da edição | 1ª EDIÇÃO - 2001 |
| Código Interno | 627807 |
| Código de barras | 9783540679899 |
| Acabamento | HARDCOVER |
| Autor | SCHUMANN, JOHANN M. |
| Editora | SPRINGER VERLAG |
| Sob encomenda | Sim |