adicionar à lista de desejos
Model Checking eBook
idioma: inglês
Editor:
THE MIT PRESS, dezembro de 1999 ‧
ver detalhes do produto
198,75€
10% DESCONTO
CARTÃO
TWpsalVEYzVRVFJhV1VaWE5XNU9jamwxZDFaSWJtMURNemhGUVhJME5FaEJUREJsY1hONFIzUkVORVZ4Y2tZeVMwRktNRFV3VEhOSFNrSjRWME01TUhKTFpsRkhPWGxzSzNNdlVsZHNPRTFtYWxaTllVdFdhV2xTWWxKWWJ5dERSMVV6VWpsT1RGRnJOVzB5ZG5ZeVJVSlNhRVZsUVhaSVZGVTROMmxDYzNFM1NXOVRNM0ZEWnpBNWRscGxNWFJ1TUM4elRIWlVRMDh3V21sTGFUUm5UMDVOUjJwWFVrUTVTMXBRZDJOd0syWm1MME16WlVSNGFUZFFSMjg0UzI4NVVFTjNiblZSYWt4UlZIaElkR2g0V1hOUE4xUldNalJVVlZCdlJIYzFZazlzY1dOcWFuWXJWamszTUVsMVVFVnhSRWhDT1dkVWVETlBNVGt3YW5SMU1WRmphbWhJU2taM056QktTRTk0ZDBFemQwaG5OWGwyTkV0c1ZYQmFPR1o1YXpaelZWY3llR0owVmpkTFJVdFJhSHBJUTNsUmNXSlJablZHVlRKb2VrRTJPWFpSVlVnelUzYzVUMXBZZGpkR1VqZDVSRWhQT0U5bGExZFJiMWMxTm05NWRYYzJaa2xhUkRFNFJWUkliMk42YlV0MWJsZHpOVTV6WkdaR2VYRk9URlpIT0hoNWVraHZhVTVMSzNodGVFeDFPRnBTWjBzcmQzSm9SbFZFVG1aV1RXRndPV0puU0VNNVlteFBTVkZrVlRkMlJXRkxZaTlCUWxGMVpYRXpUbXM1Wmt0dWJXSTRhelY0YWpBelNFVkRkV3BKZERGMGFITnpOR05wVVhsQk1DdFlOVVlyUW5WSFdUUkpUVmxQUTNKVlR6QkJUbFZTVG1GSVpFRm1jRGRJV1N0ME5XODBNQ3RETml0Q1JUa3pjbWh1TkdzMFRUSjZRVTR5UmxacVdrcFZNMHRrVURObWFEWllSMlYyTVdOVlpVOUdiR3N5VGtoSWRtSmtZbmR5ZFZBd09VODNRWE5uTlhsNlZIVlRhWGh5T1hWWWJqVkhXa3RITkhWaFNVTlFiMVYzWjJkVk5ubExiRUpFUTBWdFZrWkhRMlV2TUM4MWVVcG1PR3QxVEUxQ1JrODFWMHMxUVc4dkwycFBWelpvUTFKQ1RFUmxVRUowVDNOTE5WcE9hM054V21Gc1FscGpSVlZoVEZsQ1oxRmpZVnBrYkdaS1VVbDFSVGxGUW1oUGNuZERhemxsSzBWa1RGWjNOVlpNVlhWemMxUkhLMEo0YUZvNVoxQTBSVlk1V1hGWU1VUkJZVk56UFE9PTo0anRTeEUxeHhxaWxvS2xmZW1lZGZBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: | 9780262270458 |
| Editor: | THE MIT PRESS |
| Data de Lançamento: | dezembro de 1999 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Cyber Physical Systems Series |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Edição de Imagem
|
| EAN: | 9780262270458 |
LIVROS DA MESMA COLEÇÃO
-
10%Information-Driven Planning And ControlMIT PRESS LTD97,34€ 10% CARTÃOportes grátis
-
Neuroscience And PhilosophyMIT PRESS LTD79,83€portes grátis
-
Fundamental Models In Financial TheoryMIT PRESS LTD10,80€
-
Model CheckingMIT PRESS LTD83,82€