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
WVZkNk9YcHJhbmRLU2xOUWFGcERNamN2T0hSTlZXSmpRemhwTjJORVIzQXlVR1JTWms5WllucDZjV1ZRYzBRNFEwSkpRM1J6TWpodGJHTTBUVkJNWTBOWVduZ3pMMWRKVDFkNUszSjJWVWd2WXpCTWRWbG9aVk5zYm1OdEwwY3JOVFpNWm1Sbk1UVkxiR2xQWldoelpYSTJURlZ6UlVkamRFVTVVbVUzVG5Ka1RHMVFVRFJTVGxkcWFYbFBLM0JqYUZKdVVrSjVUV1lyVmtKUmVtNDNjamxwTjBJNFVrVjZTVkpOWmt0emIwZG5aVTVKUlV4bVRFTXJhMGR5V0RrNU0xVmxhR2d5ZUdab01rVmhZMVJsYWtzM1NqQlFabWxOVUhwRmMzSkxUQ3RIUm10blZFSnhSM2MyZVdSWFRsWXhMMlY2WTBkc01HOXFTVWhzVG5kM1dYbFJVSHBLTWxaNGJGbEhSMU5RUW5GcE5WSTNaVzFXV1hOMldrZEhWbVUxUVRoMFdsTkxaMjlNTUhBM1pYZFNkUzlXY2trelYwTnNiVVJ4ZG5Ga01UVm1OVlZDTUZWTVVrTkxlRk5hYUZoa1dWcG9SMDFNU200dlN6aG5WbkpaYW5kT09XOXJTak5EWTFoclZTdGtlREJwV0RWQ1lsaDZjWGxHYlVSd2FqaFNTMEYyTms1UVRHNUphekV4U1VaT09XNVdWRTF2UkVKQ00wZzJVbk0yUjBoS09FbHpWVkY1TDJWa1ptMXVaekUzV2tzclVEQmFiRXhvY1daVVUzbEhVM3BZUlVSNldXSkhkeXRoWVhFck5IVlJaemxvTWs5UWVpOVhkVGhvZURCUU9VMTBXa3BOTWs1V04xQmxhMUJDWjNGR1IxSnlWMjVpZVRKc2JHNWxhamRrYW5aaWFUWlpZekJEUmxRM2MwOHZXamhXWW10dWMzTktlbGxJYVdjM0szSkRXbGRYZDBkdVExTjZNSGsxWWxCNGJqVkJWVW96UnpGMFEyUkpjV3cxTTFSSVFYRlVWRTVvWkhsV2VuRmplazVEY0hkbU1VczRiRWt3T0U0eWQwUnZRVko1VEVsamVUZE5RWFZDVjFCVFdGUkVUM2cwZDNaQldHVjFjMFZ4ZEZGUlpYaFVVRE5TVW5FemRIZFJja3h4VFU1WlozTjRTalpGUVRaYWRFODRNVzFMTjNKRGRsUmFiREJKWVM5Q04zbEJlVFpTV2pWUGRWRXhhR055Ukc5WWNGVm1ZMjVoUkhWdWJrVlJVM2hIVlVocVRUTlRhM0JJY1U5WmNIWkxVMUo2VkZCNFltdE1iRWxWUFE9PTpZaEhGWVRDTUtsSEtxTDFWV2ZRVk1nPT0=
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
-
Information-Driven Planning And Control10%MIT 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€