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
YkZJeVpYTnVUVzlVYUVReVlUSlNTVW93U25SeFUwMHJiM0E0V1ZaSWNuZDZUV2xVVVZKbGJsWjBlVVIwWjNaTWJtTlBXblV4TjFGWmNubDNNbFkxTWpKUGQxUldZalZYTjAxalFTdEhRazlRYW5ZclNXRlRaM3BEZWtsTlQza3paWGhhYlc5S1RHSXJMME5qVEZoNFRXdzFia0oyU1ZselNXRmhhM2xrUjFVd04zcE1XVzU0ZW1wSVVsa3pWaXRIYm1ZMlVGbElPRkZGZUUxeFVrMTFjSEpKWldZMGRsaFRPVGQxYUdReGRFTjNNR2RHWlVWbGQyNTNaRkZUWlhaWVpYUnJhVU5yZHpKNFVGTnlXbEF3TkdSM2IxWkhaQzlYZDI5MU9HcDNPWE1yY0dkT2NUVXJhVVF3VFVsVVFWTTVjMHdyVUhKQ2EweElNbkJVYTBaQ1ZHTkJXVFYxVkVaQmVrMWFXamd6Y2tGdmNFWnlVVUphY1dWVlV6UnRSeTl2YVdsb0t5dFhjSGRFT0hOcll6bFZNbFpDTWxaWFUxVXlRVGRJYlU1Uk5XNWFRMU5EUnk5NVpISlRSSGQwYnpseFF6TnhiVGd3YzJSMWQwbzVjMWg1WldwQlluSlBLeXQyY0hSTVUwZERWRk5hZEZWTFNFZE1TbE41UjIxUlJHSk5WR05rYlZwU1pXTjJXRE5rTUVZeFIwSmxMMGR5TlhSc01HWmFaRElyUnpOVmFWZHZRMnRqTlhWQlNsbHhabVpIT1dOeVUzUTRNakZXTmxGSFVtbGFkSEpGYjJsb2RpdHNjbGx6Vml0VlpFOXplRW93UTFveFlYVkllVWx6WmtkU1p6Tk9hMDVHT1ZrNVJrVldiM05YYkZrMlJIZGpaVTVoTkhCSU1HdEpVWHBoVnpCSU1rSllkVXh4ZVRSWVpsTjJjMW9yYlZWUVUwUkNWSFJ0UjBkTWVraDZWM29yZFUwcmJGaFlSelJuY0dWSk9HWkZRMVoxTjFCWGNFd3dRV0pXY0RSYU1EUnVWVkJ6TTFWclRETnhkSFpSVFdwa1VFNVZkR1YyT0dvd2VEaHVLekpOWmtzMU9FVnVaR0p6UjB4WWRrUndVRWcxZEV4bmRub3ZkVmQzT1U5cmNUZFFjV0VyTnpCQmNtTkVhbHB6T1dVMFJIcFVlV2wwTUZaYWVtd3pUMlJoVTBwWmNsZG1iMHRZTkZGWE9FTkxabmhUV0hScVRVMDBSMVJJZG5KWGFWSkdOVW95TXpSSVIwbGhXVlkxZUVsV1lUZHlVVGxTWmpCUFQzRlBRaXRuYUc5Q1l6STNWVGhuTTNoYVUyZFJUbEk1TDJjeVEyRkNia2hNTDNwWVRrSTNlVUV3UTNoWmMxZGFkMVZHTlVjNGVHNXZaa3d4V1c0eFpsa3laRGcxVG5Wak1tMTFZbkl6YlM4Mldta3hhM2tyTWpaTGRXVndOa2xYT0dsNmVRPT06WVVpMVIzTVVzdUZpUzNud2ZBbEhNQT09
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
-
10%Recoverable Mutual ExclusionSpringer International Publishing AG42,57€
47,30€portes grátis -
10%Recoverable Mutual ExclusionSpringer International Publishing AG47,30€ 10% CARTÃOportes grátis