adicionar à lista de desejos
Systems And Software Verification
Model-Checking Techniques And Tools
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, December of 2010 ‧
see product details
162,21€
10% OFF
CARD
YVZOUldEVlFaMlpwZUhsWVNrTnZhbloxYURoUVVFMW5NVzlMTjNGUVVHVnNTVFI0T0hSa04xTkRZbUZhU3pSSGNsVXdURVJqV2k5cmFtZ3pibFZCY2xKSmRVSTBlVU5sWlhWU1FUVkdPSGhHVlhCbWFIaHpkekJzV1ZOUlpVRTBVV1ZyYzBwWlR6Z3dXRlJ3TTNwVFMxRmpTbnBMTkdsRk1pczRURzVtUlhoV1RrMVlTVEUxY25kTFlXVXlaVlJRWmpWSVlVNUxNV2d4YkRab0sySkplV1pqUVhGak1HMUpkWGwzVjJsTU4wMXFhV2RMUkVGeE9FUjJhbE5DWkRKSlZYbDFhbU51WWtnMFpuVkVNeXRQVERSd2IzRXlXV05yTTJ0UGFHeDVkMGRrTWk5UFlrNTZjbGRzY1hBNGFrbzVOSEJ6U1VWWU5EUjFZWGRwWldSUk0yWTRNR0pTVGs1dk1UWjBNbkV2VTB0SmRpdEZhVEZpY1VocVJTOVdUbU5MYjNwcFIybFpaazVCY2tOdVFrRkpPVGRtTkd0eGFWaFRkSGRDYUd3d01YUnBNa3hXYjFOVGVqa3pWalZUTVRnell6aEhOa2QxUjNCWGJXWmlRMG9yU3lzeFQyNXFSMnN6VEdkVVQyNVhPVFE1WW5Sc1EwMXlkMFpTV21Gc2JuUTNPWFJKVFZjNFVtTnhhRFJVYUd0VEsyVndNbTFsWkZoWlltRm9kWGt2VEVkblZWVjRWVGt3VkVKWWNUSlRhbWRNWkdsWmQyTlROSEJRVmpsaFFta3lUVXRyUWl0bVJESlNiRzVHWkhOV1lqVlZiMk5zUWxGSVYzTnlhRXROTUhscE5VdG5iR3R1YjBSS1JVUjFNWEI1YlZkUGRtWkRRVGhUUm10c1FWaHRLMjFwTWtoMVJuSlJRbFJ1TmtScUwydFpOSGRuVjJoS1RWTlhXSGM1ZVd0WlZ6bGhWbWRSY1ZGbWVsTkVXVFZ5WkROa056SXdVbXMwTVZkUVVIVkdSbEIyTVZSemVHTkxiMjgyZUhKaFEwdHFLM1IxZW1WVWJsbEdWVXhXZUVGTFZHUlRkMU5vUnpSTlZHdExhV2cwTTJkc1pqWlVibmhOWTBGVE5VTnJjMW81ZVhaMmIzcEVabkptYjJkc2MxaE1kM1pPVWtNMFZuSnpPRXB6ZEZaVmFYSnBlbGhGU1ZOTFIweE1hRWxMUkd0dE0wSm9ORkJDYkhaSVJXa3hWSGh4TVRWUGIwUjFkbE5GYUdGbVEyNVJkSGxvVURoRWIxSTBSa1V2VFZsdmVFdHVaMjFPUkRsR1RWZDZUVzFWVFdOYUswaHVZVGRJY1ZSWGQzcHZZVkJyYTNoS05IYzVSbGwxVDJkc1dVczVRbUZ4TWtoSFYxZGpRVDA5OjhJZnNaTDAwU1ZzVUt2YUlnM1MrUlE9PQ==
free shipping
Sell your book
SYNOPSIS
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783642074783 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | December of 2010 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 190 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Hardware
|
| EAN: | 9783642074783 |