adicionar à lista de desejos
Unfoldings eBook
A Partial-Order Approach To Model Checking
idioma: inglês
Editor:
Springer Berlin Heidelberg, março de 2008 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
Y1ZsaVNFRlpWRlpuVDNsWk1HcHFOWFpUU0hCdVZIWTVObEZuVVVKT0t6TjBRMFZQTURRMlowVXdiVXAxTlRJck1WTlJNM295U0hKNWNISjBRVkZvWVRoRksycHRka2hOVldGQllUaGtWRWhsVkdFdmJHbDRSV1p3ZGt0bGRUQnhkaXR1TlhGcU56aG9SR3RxUzJwbllYVldabWgzU2xNemNHSnBLMmcyUjJ0Q1owdGpiMU5MZHpGV1V6WkxjMHBsU0U1RVl5OVFZbkJPU21OcmVraE9LemhTTW5sVE0yODVaRk5DVVdsaFpWRlZablUzZEZKUVRUWnVaMHBQYWxoeWFGVXJPV2R4T0ZwRVVIQkxkbkpyWjBwWVMxUnlTWGw0UmxCTmMySklhVXh6TlUxMWVsZFROV050TUVFemVtSmtTazA0VVRoUmNrWXhTazlMZDI1VGJGRkJWMVZFY3paVFQwdDJZMmxEU2tscmNqbDBVSE4wVlZWM05XbzJaM1Z3TDJFNVZuSnljVTFKZG5OQ1RWcFpaMUZqYXpGa1RIVk5NMGQ0Uld0VWNVVllSemRZWjJwSWNtbElSek5YVjJWbFprdE9UVmxDWVhkb1NUZDBPWFl5YTFWdGQybGxVRmw0WmtkeVZURkpiSE5tVkc1bFRWcDFWMWhPTTFCVldXZDFkSFkwYlcxaVEyaE1iVko2WVRSQ2VHbFlaRk42TUdSNWJYZzBhVXBsU214VmJVMW1UMEZCZFRkamFERnZlVkV2TUZaSFpFMTBSM0pyZEdOUmRFczNTVlpxZWt0Vk1tWTRTRXA0VkRJMFNFOTJRVzg1UTJoSldVZG9lVFZKTkZwa2VtNXhkbEJRUlRoYVFXWk1VVmhYU2xCSWN6ZDRUbkJIYXpRNWFFTnVXazloU2tkYWFIQlhSMFoyZVZBeFQyeGhPRXQ1ZVdKR04ydFBSVEJsTDJwVGRFOVVPR00xTkV4elIzWndaVkkxZERSdlFtbFBhVU15YjA1MWNVMTJlRWxHWlVKb1NURnRRMjkzUkVSSWFGUm5XRGx1Y0N0dkwyRjBNbXQwZVRCeWNHOUNORTl2ZVhKS2FscERkMlJSUW1KT2RscDFWRWx6WTBsQmF6UllZVXRNTDFwTWFscHROVEU1V0VGblMzcHRVbXhwY0ZGTmQzSkRXRlpYY0RWa2FIcHNiRE5qVDNoNGJtZE1VMmcwZUc5U05FUm9WM2RaTW1oUlFtMVhPRTFET0V3NWNFbFdaR295YTJ4d056SXhVWGRVVFU4clRFTklRM0IzUm5aMWFrWmlOVll6YmsxV1pEZFZNSGxWUFE9PTpoZGF6U2FFZlMvZ1dTQVJGYTRMekhRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Introduces unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. This work offers an introduction to the basics of the method, and details an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL).
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783540774266 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | março de 2008 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9783540774266 |