adicionar à lista de desejos
Symbolic Execution And Quantitative Reasoning eBook
Applications To Software Safety And Security
language: english
Publisher:
Springer International Publishing, May of 2022 ‧
see product details
30,46€
10% OFF
CARD
WkV0bGVFOUtVSEF6T1haUWNVRkpNa3RwTVhabGIyOXdNRFJCV1VGRmVVaG5jbmsxV1Vzek1WSXJVQzlCYjNWWmIzb3pNU3RpU0dSdFEyTjRXamhLVDBOMllWbFJTWE14TmpVeGRTODFaMkZLUTBWUk9VWjNNMUppZEV0bWQyY3ZUMnQwUkV0TmJIVlJVa1phTldoMFRUWjFSeTl2UkM5M1Yzb3hXbVJ0UldaRlRsVTFjMDU1T0RCcldHRldVRWhUUlhoQmJIUkNNMDVuYUVOU1JFeHdjV2RXYlRkWGVVUmtWV05LV2tsd01XVmxXRGhZUVRaVmRIRnRhSHBXY0dSRFFuZGFWV1UyVFZkSU1sSjNkemN6U1VsbWNGaG9RblJhWlVGRlRWQnBTR055UWk5cFJYZFBSMHBqTUd4dlN6TkhNV3RSWW5GUU5GWllkWFZFV25weVkzcFRlamgxUlc1eVFUTldjVXhwWVZsU09WRTROa2gyZW1JMlp6TXpjMnRuU1RCWWNUSjZlRWNyWm5wbE9IUkZka3BWTmtWallYQlBRVmhUWW1ObGVFdExkVU52YUhOMGFIaGxNWFJLYmpoUlJtUlVTMEZCYzFSdmRsQmllVkZZT1VjclFscEVkblpSTXpCSEswSTRaMGRoZDNZMWVqaGxaRzUzTWpKQk1sRlFNMXAzYmxCMVkwSnljVk50U0UxdldIZFpVbTlUT1ZsTGVURk1ZbWg0VVZkRlJFdGxjRll4WjFwc1oxZG5MeXRFZVM5RGJXSldkVU5PVmxkMlYzbFhTek00ZUZkVlFTdG1VVVpxVW14a1VEWmlaVmhuVUd4WFJHeG1iWEZGTjBGTGFsQTFPV3AyV25ZMU1rVm9VSFpWVFc5dk1YaE5kbVJXWTJrMmN5OXJUVUlyYUcxcU9HVTNUVU5hWkdsdmJpdERXVFl4VG5rNE0waGlURFpyYlVWRUwwMVdjRWhFYkN0VVZucFJVSFpGT1RoeFkwRXdRMGRpTDJSM1prWnVkbFkzU2xkYVQxQjJZemhWVkhwak5uWjJkbFpTTDA1d1puQnphalU1UjBRMFJ6VmxZMGgzZFV4TE1GRTVaeXR5U0VoaFJtNTVUemM1THpoV1lYcFpZVkZyU0VSVmJUbHdla2xaT1ZadWJIZzVkWFExV201alpHdENTMVZvUm5Rd1dGaGtTR3BaZVRZemNWcENWakZNV1N0TWQxa3ZTbGd5T1hKWUszUTRWbEF5V25WQlUzUjNPRzR4YWxSSlVGWTRiVGw0UjFaWFFXUmFRMVpEZWpoR2JTODFNVkZoYTFCc2VpOUNSMGR2UFE9PTpqSGkyN1phWmIzbUdyTnRJWTBUajFRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783031025518 |
| Publisher: | Springer International Publishing |
| Release Date: | May of 2022 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Synthesis Lectures On Software Engineering |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Engineering > General Engineering |
| EAN: | 9783031025518 |
BOOKS FROM THE SAME COLLECTION
-
Hard Problems In Software Testing10%Springer International Publishing AG37,84€ 10% CARDfree shipping
-
Model-Driven Software Engineering In PracticeeBook10%Springer International Publishing105,99€ 10% CARD
-
Symbolic Execution And Quantitative Reasoning10%Springer International Publishing AG31,08€ 10% CARDfree shipping