adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
idioma: inglês
Editor:
Princeton University Press, julho de 2014 ‧
ver detalhes do produto
74,35€
10% DESCONTO
CARTÃO
Y0ZaVVIyVnFhbkoxWWsxYWQzZEVNbEZJV1VGaWF6Qk1WSE4yVmxSUU9UbE1TSFJEWjFSRmVtNUxRMUJTVURsaU1rMTFNMUZYT0M5WVpXNDRibFphVHpsek5pdHNXbmxtWmxVMFMzSmlaM1p6ZGpWa2NXcEJVVzFIUVV0RlowNDJNMFZIUkhGdE5WRTRTMWdyTmpsemIyZENjekZNUkc1VFVuTk5NbTE2Um1reE5VZHNMMVk1YVZBMGMzRkJNRVZZYWtOalNUWnRWVU51ZFRkbWJHZHRRbWRKYjFndmRURlpVMHB0ZEhodmJGTnZlVTQxYlV4SVpVOVBiR0pVWTBSS2JIZFpNaTlSUm1kb1pIZFpURzl1WkdNck5YZGxNbkpWTjFOaFJGRlBNMUpPZURCWFNVZGlOU3RVS3pGbk9HaHNTR3BrWkVOelNEWjFUQ3RhU1Zwa04wVk9XV0ZSUzJGSFkzQkpZVFZCY1VKVFExWklTMnB2ZFN0clkweHhUVk5SZFM4dlJsaExlbU50T1d4cU5EUXZVbk0xVjFoQ1UyVmlUVVZZTTBKeE16VkZUM2xMZUUxWE4ySTBkRkJOVTNwRFozbFdja2wxZDNoMVpUaFVPVTVMT1RKMVV6RnBSVVp2Wm5kTmFYUllaR28wT1RaRlMxVmhXRWhLV2xodWExTnVNamRrWmtWYU4yeHRXVVJSYVVkUE5UbEhVRTByZDJReVowMVVMekpzU1hGeVpXbHRZMlZXYlRkMmNuVXhPVFJNYVhWRFNrUXdXVVV2UWpsUGNYZ3hVREpYVUdKeFRVRjJhRUp3VDJGWVZETm9hRTF0VEZRM05uVjRVVnBMWjB4MVVXVmFNbFU0YTBWMVFUSnNRVWt5WjNWTFRGRlhNWEV5YVRnNWFGWnFXREZNT1VWbFdUWTFZMmczYkdzdmREWkpSbk5oZEZSS05GRkNiMjlzYW5STlVtODBRMnQ2TDNOR2NuTmlZVU50YzFwVlowODJTV1J5ZVhOQlRVSnhNVWRRZHprd1VUZFVPREprUWtOUFdGRnZURmRJS3pSNllVRkNiRFp3Y1VWUFZFdFlkVk5SS3poWk5YUjFOVzFRUkUxVlRucEtMMGRsVTFZclNtOU5VVUZvU21sWmFtZE1WR2R6VWtwRmQzYzNObmRGVDBwSGVFOVRZemcyYm5BemRHcExNelJpZURoTFpsbHJibkZvTDBZeGFWbzRPWGxpZFhsUFFtRkdhVkkwVTB4TWJUZFlaR2hYTVRSUVV6QnhWbUZMYm1SSlYyUjVPRkZVUjBsc01taFNaekZtTkVFNVdHSlhSRE5xTlVWRkswTm1hVEJYUkZKQ1lrbFNkR0Y2TTNkYVRqbFNiRVprUlRWRFprdEhLek00Y2twV2FreGtkWFZyYUVKdUsydHlkM2x2V0Rnd1ZuTTBLMUZCY1RWbVJqQm1NRWxGY1N0SUwxWjBTVWhCYjJ4VFRnPT06NTRwZ1VFUTkvQktyaUVxUGNiN1c1Zz09
portes grátis
Venda o seu livro
SINOPSE
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780691606057 |
| Editor: | Princeton University Press |
| Data de Lançamento: | julho de 2014 |
| Idioma: | Inglês |
| Dimensões: | 152 x 229 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 284 |
| Tipo de produto: | Livro |
| Coleção: | Princeton Legacy Library |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9780691606057 |
LIVROS DA MESMA COLEÇÃO
-
10%States, Social Knowledge, And The Origins Of Modern Social PoliciesPrinceton University Press70,30€ 10% CARTÃOportes grátis
-
10%Great Siberian MigrationPrinceton University Press56,78€ 10% CARTÃOportes grátis
-
10%Investment Industry Claims DebunkedSpringer Nature Switzerland AG37,84€ 10% CARTÃOportes grátis
-
10%Computer-Aided Verification Of Coordinating ProcessesPrinceton University Press197,37€ 10% CARTÃOportes grátis