De: R$ 0,00Por: R$ 1.049,03ou X de
Para envios internacionais, simule o frete no carrinho de compras.
Sinopse
Describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as formal language for behavioral properties, and model-checking algorithms.
Mostrar mais
Ficha técnica
Especificações
| ISBN | 9783540415237 |
|---|---|
| Pré venda | Não |
| Peso | 219g |
| Autor para link | BIDOIT MICHEL,FINKEL ALAIN,BERARD BEATRICE |
| Livro disponível - pronta entrega | Não |
| Tipo item | Livro Importado |
| Número de páginas | 196 |
| Número da edição | 1ª EDIÇÃO - 2001 |
| Código Interno | 629241 |
| Código de barras | 9783540415237 |
| Acabamento | HARDCOVER |
| Autor | BIDOIT, MICHEL | FINKEL, ALAIN | BERARD, BEATRICE |
| Editora | SPRINGER VERLAG |
| Sob encomenda | Sim |