Decidability Of Parameterized Verification
idioma: inglês
Editor:
Springer International Publishing AG, setembro de 2015 ‧
ver detalhes do produto
54,06€
10% DESCONTO
CARTÃO
VkVoTmVYb3ZZaTlFVW5GTFYyRmxjMUpFZFVRNE9UUXZValJMUVU5dWVYZGpLekp3U25KalkySlRPSFY0SzBodVFVVnBkWFJCVUVwTU5qSmlWVWRxUkc5WVJIUlhVREp0UzNKVGRFUnVUalF5TVdWTGJVMVRiVk5sYm5sQmEzSkZSM0JDZUhSS1pUVnhTM05aSzI0MmFXVkRUVkl2YWsxV09YWm5lVklyTkdJM1VFbFlWRGxWZFhreFJVSTBkR0kxZUZSbE5FMWxUakpSV0hGc1NuSmlWbTV6TjBvNVdHcFFWWE42V0daV1RUZFRWMVpyTlhsckswbDRTMWQyYzJFeU9FUlZXbTFIY0dkeEwydGpNRUpCVERGelUzVkRaV0prWTI1aFRWVkZXblk1VkVGbU5XdDJjWGx4Y1UweWNIbE1kbEpyTTI4eVFrSlFlRkZpVjJsRVlYbEpTVEpIYTBkT1JqbFdZbmh2UVVRMWVsVkZkbkE0UnpFeldFZHdTMnBCU1V0aWREWk9UalZpV2t3dlREaFFkbmxyYWk5Q2VVeGlaRUlyUzNjd1lTdG1SbTVPWm5aRlRuWXpjRXBLZDBsVmNGQkdlbGwwWjJGWVZYRkhRV3czY0hKaFdFSnNNbWRETUdWTmVuRmlXbmxETldsQ1dUQlBZekZvUWpWV05uRm5NR3gzTlZwU1UwaE5UR0ZKYjFWbU9IWkdNRVpuZUc5VGFuaG1kVWQyZEdFemQyTm9RbmhxWVVSRWFYTkxXVWs1ZW1KQ1NqTTFXV0paZUhkVk5EVnJaR2dyWlRGR1FsUkplUzlwZG5aelJUQXlUbEpUWVRNNUt6Sm5XRlJyTXpkck5FcDVRVWsyY0dkT2FUVlphR3cyT1RjclFWZFJXWEJUVVhNelpHVmxVbHBITmt0R2VEaFNSR2hhVW5WTE9WWlZjMnhQUzBkMmEySnRhM05zZEhoNllTdDNiV2hXV2xCamVtUmpZMjloTmxFMVdVZGFlRFpYYjI5RVpTOVljbVpwZVZSS2JVMDVUVVpCZFdkbWNVODViRTEzWTA1UVFXTkNOVGszYm04d1dTOTVlR2hzT1dGSldGWnBTRGhsZEU0dlVVbzBVMDFaVmtVeE5YRm1jMFpqVWtSUE16aE1WR3RuTVZWeU9USmhPVkJTUTIxSE9XSkpja0Y2Wms0M1ZIRlJaVFl5TTFkaE1qazVhVlYzZWpnelRrMW5XVTlvY0dwTVRWVTFLMlF2Vm1SWlZsaENRVE5hZUZWSFRuZEpPRmhxWlhRMFJUUlJVVE4yWkdOS1MwZzJNRkZhU1c5UGRsQnhSRWszUlRKb1MxUjJOa1F6VUdGR1ZFTk9kVFVyUWtFemMzWnFWMFk0U0ZBcldHMDVSa2hOWVdkbFYyMUdVMmRyVVc1QkwyRjJNbUl4YW5BeU5TOXpRbVpXVDFaVGFDOTFVMlpNUkV0YWFVRk1jV2w0ZFU5amN3PT06K0xWaHBsSmZnLzQxT0VCS2F2V0xDdz09
portes grátis
Venda o seu livro
SINOPSE
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ????(n) parameterized by n ? N, whether, for all n ? N, the system ????(n) satisfies a specification.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031008832 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | setembro de 2015 |
| Idioma: | Inglês |
| Dimensões: | 191 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 158 |
| Tipo de produto: | Livro |
| Coleção: | Synthesis Lectures On Distributed Computing Theory |
| Classificação Temática: |
Livros em Inglês
>
Gestão
>
Gestão e Organização
Livros em Inglês > Informática > Programação |
| EAN: | 9783031008832 |
LIVROS DA MESMA COLEÇÃO
-
Recoverable Mutual Exclusion10%Springer International Publishing AG42,57€
47,30€portes grátis -
Recoverable Mutual Exclusion10%Springer International Publishing AG47,30€ 10% CARTÃOportes grátis