adicionar à lista de desejos
Model Checking
idioma: inglês
Editor:
MIT PRESS LTD, dezembro de 1999 ‧
ver detalhes do produto
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
SINOPSE
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780262032704 |
| Editor: | MIT PRESS LTD |
| Data de Lançamento: | dezembro de 1999 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 330 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Informática > Edição de Imagem |
| EAN: | 9780262032704 |
-
Fundamental Models In Financial TheoryMIT PRESS LTD7,56€
-
Model CheckingMIT PRESS LTD68,14€
-
Model CheckingMIT PRESS LTD68,14€