adicionar à lista de desejos
Software Verification And Analysis eBook
An Integrated, Hands-On Approach
language: english
Publisher:
SPRINGER LONDON, April of 2009 ‧
see product details
59,61€
10% OFF
CARD
ZEVOMk5tcHVaVVpLZDFWSmJqQTVURlZCYkZsbGRXb3JVVXM0VmtGNlIwUnNVVUl5YjFreE9HNTRNVmhXTmxkdlEySkJPVWhVTDFCdVoxTXpNR2c1VlM5R1ZYbEpjM2RwYWxGV09FMVRUUzgyWm1aU2VHTXpjM2RWTjBsTVJsbHRlRnB1YW1JeWFqZFNaMUV5YTFJeVNURTVNbmR4Vms5NFZ6aDNXUzltYUdwS2QxSlFWSGhUVVRsNFkwRlRhbTFHYVZsRlYzaFNXRlZNT1U1RmN6aGlkRE13VVVSbGIzbDNUMGd4VVRWSldIcFFSemd5UlN0RE9YTTNPWFJaT0dRdlZXdEdRVEk0VmpaeVlrWmpUVmxwTldWemN5dHBTMUJWYWtKTmFHeDZiREpNWWxRelNEWlNhRkkwTWs0eVVXUmlSMkpzTms1bkwwWnJTa2hPTUdOWlRUQlFVVGhETWxoR1YyVnBlV2t6T0RSMFEwNHlhV0pMU0dScGRXbHVWREJqVFd4UlZrODJSbkozZUdkbWJYRTRkMGcwTUhOU2VrSXZhQzlHZHpWMmFtcFpVVVZWYVdGU1lYcG1PWGgxY2t3M2RuZE1jekl4WlN0clRuSlpPSGRSVWtKUVNuZFlhRzU2TURBME5rRnNRVTlXWkZBMkswNVFXalpyT0U1a2VHZDBUbkpUT0ZCdGJqRnBTM3BRTnpsTmNEbEVjMXBMWWpSMGQzUm1jMnBMZUV4dlFURTVZbFpTTVhCM1dEVnljM013TkhGNlMwazFWbkJHSzNRemEzYzNSemwxVGtOWE1rSlJjekZzVmtkcVVpdHhSRGw0ZG5CclMwaE9TVlJDTVVNMFZYRjBjMFI0SzBOVGFtMTRjalF2ZGxjNFkwTk9jVzEyY3pkVVZtRmhURXczZGxWeFdtcEtZM1JZVDJ0RE4xZFFRMWxIU2xZeFFsTnNabFp2ZDJVcmRXOXpNRnBrV21wbVlWSkxkMVJuSzBFeFVYRXlaQzlFVFdwMlJtZFpTbmhuTjI5bVVTOXRabFJpZVcwNWEzSXdaelJCZGpOMGNUWlRjSGgwUmtGWWEyUTVTSGgyVDNGNlIzTXJaazVpY0dSTloxZzRUazVFV213eVJGTlVZVk5IUVdkSUszcEJRa0Z4TW1ZclNEQnhUMmhyWWxsbVpYSTJTWEpFUmk5dFpsQkNhRzB3WkVwSWF6TnlZVEJaVjBkd1UzTkpabUZST1RWeGIzUmpLMVEyTkdGR2VUUjBSM2h4WVZWdU9UZGlaRXhFV1hWVWQwSnpjRTVrWlhwT09YRjNhMHcxTlRsSE9VNHpUM3BKUFE9PTpYd3dIRkJkbDgrem9RNUhLVGg2dEpnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Addresses important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). This book discusses semantic program synthesis and analysis, static program analysis and dynamic program analysis.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781848822405 |
| Publisher: | SPRINGER LONDON |
| Release Date: | April of 2009 |
| Language: | English |
| Format: | eBook |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9781848822405 |