adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
idioma: inglês
Editor:
Princeton University Press, abril de 2016 ‧
ver detalhes do produto
197,37€
10% DESCONTO
CARTÃO
WkZwU1pFaEpabVZ6Y1hnd2RGZDRWWGhLYldRMmMxRmlWSEpJTDJWclZtUlZNVmhwUzAweVowVkNjRkIzV1ZkRlFTOWxOa0Z1ZFdVMWRTdHJSWGRUUjBsa2VuTnNMMjlwV1VKT2IzcGtabTVwSzJOelJDczJSa0U0TTBadk1reG1WamhLU0VoSksza3hlVVV3WmxoQ1oyWjNWblpQY1VsRk5qUTJZbXROYUdGWFVHRldaelJaUjBsTU9EWnphV00zV2tkM2RqTlJaM2x0TlU5dFIxSjNVRFZrUjJZeWMzcE9VR2R6UmpGMWVtNTFUVlJQZERGc1pWVnlUV2hMTVZNMVZUUlFXa3hyT1V4TlEzUjVMMnhhTkhZMWNtSjFWMHRKY2s5Mk5YZHNaMnhqWmpKV1FWaFhXREJtT0N0bVpXZEVlbWRtWW5aamEzRnJZMU5hTWxSSVpXczRaazFDTjJZMlYyWlBaekZuVTBSREsyaHdPRWRPVlN0b1RYaEZaa3RDWWxScVVGcHZjbUZqYWpCa2RERnpZMk5JSzJwSGQzSnJRWGQwU1hRck5VdG9ObFYwZEdNck9VRmxaVkJJZURCUWVVOVhhRXRoVWpNM1ZETkhlRzFGY205Q1ExQlVXR0p2VlhSYVRHbHFiVkZaUlUwcmVIWkdiV2xvTVVKUmFYTjFXVGwxVFVSUWIzZElkalZ5VVhSdGJVdzFRbXR0ZGpCTWMybExOVTR2Tm1GblVIbG5VakJxVDJ4aWVFbHBMemx3U0hBMVREaEhhekpvVG00MGRWa3lNazVyZG1aWlNtNVJVVlpMYldsTmRIVm1keTlvUjFaUVZVRkZVV0ptYVVGSVlVWnZjblZ1ZGt0eVRqQm9TVUozVFdGd1RISjZWakZ1UkUwM2JHWjNZVTFXTnpsdk1qazFZa2hSUjJsWWVWZENjVWs0Y2pKT2RIZE1UWEkyYzBZeGF6UlpTblZGVGpKNGRWYzRMMmh3VW5GdlpTdHFVVlJ3VVZaUU1VWkplbVpFVmt4SlduRXZVSGc0SzJOVGVWSk1WelZxTW5JemF6ZFNTM2xvVldOR1pucHlOVmN4ZFdwaFlWQkhTMUpaTDFOWE9VNDRWSFV4YlhGelNVMTZUM0oxYjNCV2JIRkpaMkpRVFhaNGJGQm9kVmR1ZEZGdk1pOWxTMDVvZFc5RFUwaFFXVmc0Tnk4MVFWSlVVRU56V1VGaGQwRmhha1Z0ZUN0NVYyTlVkbFZJTW10b2RYQjJia0lyZDJWUk15dHRkVWxOVEZGb2EzZHdaR3hZZFV3NGNVRTNWR0ZIYkRCWk1XOVNMemhJVFhSVVVESXdPRFJXZGs5MFpXNUNhelJhY1U1bWRHZHlPRU5HYTB0S0swc3ZMMGh5TUhGNGJtVmhTMEpRYVRST1pITjNVRWcwWTBKdmRWaE5SMmRSUVdaNmEyTnhkMXBPTjNoVFlUSmxUWGQwWmprMlF3PT06VFdDa0ZtSkp3UFprSWRDRG9EdlZNQT09
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: | 9780691634890 |
| Editor: | Princeton University Press |
| Data de Lançamento: | abril de 2016 |
| Idioma: | Inglês |
| Dimensões: | 152 x 229 x 20 mm |
| Encadernação: | Capa dura |
| 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: | 9780691634890 |
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 Press74,35€ 10% CARTÃOportes grátis