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
TTFZNFZURkZTVmx2VkdWWmJTdFFXa2RuYWt0b1NWWlNaRVZ2TjFFcmVUQk9aVEpQTW5WUmFWbDVjR2hqVUZVeGRWSktRM05KZFRjNVprbHZTRFY1ZG1OU05sRktWbXd3ZFc0NFlrOVNiR1JMYW1GNkswWkxhVkZKYkVKcVJXa3lLMlZuUW5BMk4zVkNOR0ZCTkcxUmFIVnFjazVLVjFaemFuSXZUakZrYWl0eVQydE9iV0Z1VjFKTlZIZFJWMXB2UjJJNFRUUkRlRGRpUm1KQlNYcHNPRVoyVDFGMVRuTXdhRFZRVjNoVFprNHhkVUpvTjNaMGEyZEpPRzFLVFhaNmExWnFjVFJEVEhaNVEwOUhWVUpUYVZWU2RGSXdkV0pyTnpkdU0zWlhMMnRQYlZkSkwzTnlOMHRaTjJwbE5uaHhUU3RTUjNreFVFNHJZVVJXTUdGMFprNXRORVJOUWpZMlVWbHNTVTF2UlRac1JDdG9SSGdyZUVWNE1XTnpWbFZDV1ZGNGRFZGxZV3g2WldWMWNESnFhV05KU2tFMU16UlNTMjlYZDBaMk1ubG1iSEV4ZFdSYWEyZ3hTM016U1RRcmFscEtaa3d3Ym5KMlFUQmtZMmc0VlhSc1ZUQk5jbGw1WkRscU5GSjZlaXMwWTFCTFdIZFBNWFpFU1V0QlpHcFpaWFowTUc1ak5qQmtPVkYxWkRCc2NWRnZUbkZLTHpoemVrMHJZVUZGVkVoalNFWTNZemwwUVVOVVMycEVabTFWSzBzeVR5dE9LMjlKU2xjMVUxSndaV1JLUnpaeFNtcFhOekZUVDBkeGIxbFBOR1pLVWxGc0szaG5ibWd6VWxJMFRXcEVWVWN2T1d0cWMxcFBVRzV5T1dSR2NHUm1hR3RwUzI1amRuRTBhREk0ZW1aell6aEtlVm8yVGpGNWNqWjNNR3RJZG5ONVVtMUhRVTVoU2tjMFdETkVURXB1VG5Gb1JUWlNPR1p0VkU1amVXeEhRelpIZDBOSmNVcFlWbGREVFc5VGVuSk1RVlJ6TW1SemF6SnZOVEY0V0Zsek9UUlliSHB3WmxCQk1sVmxWR1JaWjNWSFJIUnVOWGx2ZVZWcVVEVTVjazVEV1VsV05VbHZXRlJ3ZGxoeGFIQXlaVGM1YUdabWRWTkZXRmQ2ZGpCUVlUWkVSREV4T1VRMlNYSjJSRzFvY25nck1GVTJVWGRyWkhwdFdYWlNNbXcyTURGTU5raHNibkZNVmtOMWJYbDRla3RTVVRJdlRVWktlbmg2YUcweFMwTktXRFZwVUVnMWJ6bFRXVVEzU21RMU1HTjJZblpGUFE9PTpyR08rN2UvTWwzL0pkVFZQbkJLRHhnPT0=
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).
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783540774266 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | March of 2008 |
| Language: | English |
| Format: | eBook |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9783540774266 |