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
VEV0RFZrZHJiMjVoWW1oaFdqZFZiVlUzYUZsNFNFWnlZM0V3YjJsTFZtUnlTbE5HUTFJeFYwa3ZkR2RQSzA5SlRVaFJVVWhrYVhOWEwyTkZObmxWV0VWWmVsSktlbWwzTW5OVGJXRmtlR0oyYjJaU09FeDNNRk42UkVGaUszRlNLMFJzSzA5bFVYZFpWV3hUTlZsdWExWnBXR1J3UWxrck5GTk1kSFY0WXpaNVlUWkhXV2hNY1ZWamVsUTNiRlJGZEdjNE1XODRLMlpTVVVselJGWXpTWEZWVDJkQ1RVZE1ORzlyYzFCNk1sTnBORWhZSzFCQ2NHNHhVVmxTUlhSR1Eyd3JTMGhuVVdOSFZURkhaazk2TWxwU2NrazNRbXRtY3pkT1MxWnlOelJLV1ZkemFYUXZNRzFCUTBkRFMzWjVZVXB3UzNwbk5DOUNNbVk1T0U4emFIQTJNRTgyTjFoREsyOVRObWRWYW5GTlYwaGpTMjlQYlhBNGRFeFNkakZyU0hCWmVubFNlakp0VjBKemMwOVZVMDUyYTJOSlNsaERiR0ZQZVdsR0swWjRMMmxJZHpSWk0yd3paSGw0YWxOUlRuUk1UVWRQVnpKbFZuRkdXR2MzWVdZeFNsSm5kM2hhWjFWTmJVeFRkblYzTWtSMk0xaDRPVk53VEV0SVRrSktSWFVyYm1kMk9WWlVTRmxsWXpRd01tbzFWbkJxUlVwT09HOTZkVVYyWW5wNGNEZHJWMVJqYUdkNldTdG1NRU5JU25wMWVtTkNaVlpRWm5wR1oyMHhlRkZXU0doTk5VZHZhV0V5T0VwWWJFSTFRemRzYUdoSlJWbFlja0poVkdwTGFEVXhSM1ZyY2twRGRXNUZiSHBQZEhOdVppdExSWGhvV0V4VVlWUXZOM0pvSzBWcFRuSlZSSEJsVFc1SVEyNXhWSGhPVkRGR09WRnNkSGxsTlhFNVdHcDFUV0pJV0ZOT1JsaHlWVzV0UVVnMVZEVnNVVTF6VDFKVlYxTk1aVGx0UldaVVIxSXJjRGxNZWtaV1VXZEpjM0J1ZWpKSFlUbHFjV1Z5SzNkeVZrUjNlREpwTUhKSFREVmhZVnB0UVhCSFZrazRWbGxITVRNMlIzRnNNVFJxWW5aSEsySnFSV2hsT1ZGRk56bFRWV2RCVlZWVlpHeFNWSHBIVVhkaU9EQmxNM00zTHpGNGNuRXljVk5QUmtOSWQwUlpOMlV5YzNaUVdIQnVORGRtU2sxTVRuaFBNRUpUZWs5aVRYbHhURzlEVkZwM2FrRnVMelEyZUdaS01HTkpaRVZNY1daQ2EwcHNNV2x2UFE9PTpKN1BTS28vaGdWTm0xdFM0b3ZXblNBPT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781848822405 |
| Publisher: | SPRINGER LONDON |
| Release Date: | April of 2009 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9781848822405 |