adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
Livro
eBook
idioma: inglês
Editor:
Princeton University Press, julho de 2014 ‧
ver detalhes do produto
74,35€
10% DESCONTO
CARTÃO
YXl0Q2MyWkVORFJJTkZGNFFYTmhkR1Z3U0hsc1VVa3JWbTQyVmtKTGJWSnBOMkpFVTNSd1pXeG9hR2x6UjJZM09ESnNVMUZHWTNsTk0wMUNaVGhyZFdrNVFVRk5UV00wZVhSbksyVjBla2d6YWtsd1kyOVZVSEJPUlVaWlFrYzNlbGhZTmpjME9GVm5lRkpySzFKa00wOVZTblo2VjFaWllsSjFTRmRLY3pSUGMzbE5hME41V0hvckwzVjFOSFJMWmpaQ1JFeHJRelE1UkdvdldESjJUV2xGTTNoamFucEpRM0pFS3l0R2R6bGFZbmRpWlVkTmFuTlJjbEJtWlVGcWIxRXZMMDFwVTAxdVJFOVpSbXA0VG5KblVIcEZORUpNU1RSU2JXOTBhR2hGU0d4UE4yZERMekl5YmxZdlYyaElSbFJMUkZRMGIwNHZWekU0TUhoalZFSmFaRnBaZEZOUU5IbE1hWGxHTjBGTGVVeFRZWE0zWkRZMk5rc3JWR2R4VW5ablMxVlRMMlFyU1drNFN6RXpNaXMxUjBSSFNsRlNVbGxUZG1sUlFYaFJLMFV2UjBkVVpWVlNaSGh4ZDNsU09IRnpZM2hYVTJabmNqVXpVaTlHWld3eGRHSlRlbWszZFc4NGJuZE9kRk0wTkROd05HRTNaMGRhWW1sdE9UVk1ZbWxxWVRGVGRVcHRVemxSVGxscVkzSk1ka2RsVFRRNFp6WjRlbFVyV1hGbU5FNHpOSGhoVUdjeFIwRkdialZ6VG5oTk1GQnpRVTVuVjBObk1tMUpXR3gyTWxsblJIZzRSa1JRVUdsVFVFbElSVk5FTTJNeE9FNTFOVGhSUVZONVdHeEtPV0pQSzBWWlFsSnFkR2x0VjBKM2FFVjRZVUUwZFcxQ1FXcFRNR1I2Ymk5U1JWUkVhRXhVTjFGclRqQndjV3d5YW1oVE5FeHRaVkI2VEc1TWMyUmpTbTlLVFRSbFVXNVdjMjkzZGxNMU5HWmlXRWN3YUZwcWNHcFROVkV4UzNNeU5sRkZTVmhzVTFCelIzQTJaV2N3Y2s0MmMwRkhNMFJWV2paaVNGWlNTM1J2VUdKdVlVTkVkMWhMT0V4aGNsRlZOVkJqYW14dlUydG1kVzQzZVdkQ2RUVkNOakpyUTFwNk5YZFVZVFExYjJGT1QyeG1OMkp1TkUxblRVMVlaazlYWWtOd09HZG5NaTlzTms5V1RqWjVOV1ZtWVRKNWMwNHJhVzkyYm1kYWN5ODBMMGRaYkRWb01XVjJjVXBWVkZsaFR6RjZTSHBZYXpGT01Fa3ZkR0pJUWs0eFRIWlRiVlpSU2tvMVUwUjBUMDlDYzFOaWEyOHJlVkp3Y2tkYVIxUkNVRTVtU0hWdVdHNHJXV1pXVVU1aFUxcDBObmhFVkhWUWFVTkhiMGhHY2pkU056UjJlRVZuZHpKeGExZFhWM0prU0VwUGNqUkVNVlZJWm1wMVNRPT06TkpZYytWNFZXNFI3aUhmc1ZoRHJLZz09
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
-
States, Social Knowledge, And The Origins Of Modern Social Policies10%Princeton University Press70,30€ 10% CARTÃOportes grátis
-
Great Siberian Migration10%Princeton University Press56,78€ 10% CARTÃOportes grátis
-
Investment Industry Claims Debunked10%Springer Nature Switzerland AG37,84€ 10% CARTÃOportes grátis
-
Computer-Aided Verification Of Coordinating Processes10%Princeton University Press197,37€ 10% CARTÃOportes grátis