adicionar à lista de desejos
Unfoldings eBook
A Partial-Order Approach To Model Checking
language: english
Publisher:
Springer Berlin Heidelberg, March of 2008 ‧
see product details
118,59€
10% OFF
CARD
TkdsWlpVa3laVFpWVkRCcGF6aHNXRkIyVVdONFduUTFaMDR2UzJaU0swTlBaa2RWYWtGSlR6QndhbG95U0dwRWNHaEJTVlpNTTBJMVZVZFRiWFZCYmtka1NtOHdWMGxFTkc5WmVISkxXbVZrY1V4UFZYRjVjMDVzYVd4VFpUWjVSazlZUm1aWVdsVjVhVUZoTkc4clUxTkNSbkE0WVZWTFN5c3dRVE0yYjFkeFNFRmFXSGRsWjJSeVprWlliREJ2VDJGYVRpdGFWVVJHVEc5UWJqWjZSV2RqY0RWMGQzTnVVM0ZQWnpKTmFHdHJiRmhLTDFwM2NrbG1VV2hPYTJKMFVYTkRORTlLT1VkSlp6QmxlUzlFTW5sVmVEUm1MMGRTVHpkM1FXZHVMMmxYVjB4R2VFZFhTVE5tY2twVWJsbHlkMlpaZDFWUGRuQnFZMGxQUldkQlZ5OXFRekJuYjFwQlFYSjZWSFpxTUhJdmIydzFjbUZFTjBoalRYVk9hM041V1dOQ1oyUmhkbFprVldWNlltWklWSHBIWTNFemJFMUxlbWx6VkhOVFZTODBOR3Q0YWxjcldESkZibEpYWVdwWmNtWmhaVXBQV1N0NFdVZDZTMGgyTWpoaldFNURXVXRhV2paT1RFcFpXRFZUVTNsYVJtRTBUbEkyWlhwMFNVSnVPR1F4YmpSNVJYWTVWRUl6TjNWcmVVaG5la0ZQVlhSdGR6SjBTSEJ0WkZCM2JVdEpTMFkyZURrM2MwVTVUV3M1Tms1UlRtUXhSSHBPYlVwaVVYVnpjbGRQTTJaV2JYZGhUMGxuTlhwb1VHcDNiVEI0U2xKdFRFczRhRkJhTkd0RWJWaHdaakZvZFVacldrWnRZMDVRZFhaSFdXaFNORVZVWjFreVZuRjBNa05MTVdOQk5sQkdiRE4yTnk5VFVYcFVWVXMyV1dVd01HZEdjbTFEY201aWRrUTBOVVpuUkVGblRuTXhMMmdyZEVKeE4ycEliV2dyUzJrMFFsWnlhamh4V21GRFRuUm1hR3hqU2xGSFNXNHpiRkZHYkRSV1ltWlJiM1V6TDJKQmFYSlliMmxNWkVocFJ6STVhSGgzVEZSMFVuUkNkRVZyVDJWV1lUWnFTMlpaWVhob1dFNVBjWFZrUTBwV1MwUXZaMFkzU0Voa2MzbzJVV1pQUWtsMVYyUmpiakkxVFRSbVJtUktWWGxaUlhCc2QyTjBRMVExTUdaNVJFNWFlVkI1YXpKc09UVnRlVzVxYm1vMWVsRlllREp5Y1RaTE5uRTNWV1YxUm1GdU5UZ3dPVTF1VFcxaE5ucDFkMGhCUFE9PTo3VWw4UmpyQjIweVJtbkhxN3dxbitnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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).
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783540774266 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | March of 2008 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9783540774266 |
-
Comparative Analysis Of Stream Processing SystemsNOOR PUBLISHING24,68€
-
Finite And Algorithmic Model Theory10%CAMBRIDGE UNIVERSITY PRESS89,22€ 10% CARDfree shipping
-
Automata TheoryMIT PRESS LTD102,74€