adicionar à lista de desejos
Symbolic Execution And Quantitative Reasoning
Applications To Software Safety And Security
language: english
Publisher:
Springer International Publishing AG, May of 2020 ‧
see product details
31,08€
10% OFF
CARD
VjBFeVRuSk1ZaTlhZDFkcWRtNWhhVVZ0VGpselZERTBNMHMwZGpNMGNEbDZiamRNYnpoVk5XeERlR05pV1hoS01tdDVSalZCU0RGNFFVNUVibUpaT1RodmIydDFWa3RPTTBGcmVUaEdRVkl4VVRRNVlreGthM0IwUlVVcmRIbHRjemMzWm1GSFRVa3dZVVpRVDNKM0szVkxPV1pyWlhabk1IWlVaSFp0WVdaM1NFNU1iVFl6ZVhrM1QybEpTVE13VlVoUE5GVlNUbWRuVERWblNGcFRZMVU0YzI5NFpqaDJZbE5HVTJGbVQyaHdkV3hYVkZWWmN6azVjSG8wYzNKRE1tNTBaMHMzVmtaVVkxVllWakY1WkhWRmIzVXhRaXQ1Vm5KMFdqWjRWSGx4Y25vNE1ubFpXVFZ0VldWQlpubEVRbFJCZVVvelIyWndOMUo0TTFST2NtVnhRMlUyWXpKNEwzWlBlaTgzYUUxYWFsTnJXazVRYUhoQldubzBaMDVLVEZCVmQyYzRLM29yY1ZwRlVHRTFhVkZFVHk5WU9YSkVSV3RFZFN0VmJXWnhhakpHU1ZoRlJ5OTBkbUZ3YjNoWWFYcDJlbE5yWVVveFZ6QllWMDFOYldJd2JIZG5iRWxSU1hGNVlqWkhMMlpxZFVoblQwWlZaMUo1UVdFNGEyUlpWVlpJTWl0VFkwc3lkME5QVFRaM05qWlpiR2tyVjFJeGFXNXdiVk0wUm5SYVdtbEVkVTlpU0hnNGFWbE1SMVZITHpOM1V6VjRLMWhtTUV4SEsySjRNV3BNYTJWemNtOVlka2RQY25SWGJtcE1WR2xDT1ZWRVdHOHdkRFpuYURoUGFITXJjUzltYTBkUVJEZFVjME5ZY1VzMk5uQTJXRlZFWjNKdVRFTnBSbXhLWTI4eVZYcGhZakZzVTJKRVVrc3lTVXhTUTNWSFRFOXdSbkl4Y1dzMGIwNDJiRU5ZYUdzMU1tWnpSblphVkd0MlRWWmxaVVZuVWtsTmIzUkhhVmRLTTFWVllVVm1PRkpFZEVWM1REVm1ibGhqUmpGWVIwNUxOa1p0WTBSRFZWUlFaMEpLVDJZMVFuTlZjRGt4V2xscllYVk9lVXBJYXpFdldYaDNVbFpvYldOSU1VbGlSM2hDYmpJcmEyd3ZSMFp0T1VwVmJHVlVXV1ZHWWxCck1HSnlTMHg1UzJoc2RYSnZSRGQyY1dkVk1YVTBjamxyTmxBelpXa3diMVpoWTNKcVdFWnhRbkJHTWpGYVYycDBXV1Z5WVd3dlNUa3dZVGh3WjFSbmJYcHZUV1ZLTlhwWFl6SkpWVkV3WTNGVWJUQXhOSFkxTlcwd1pHVnZOa1pZVW1VdlZUSk9SVWRMVWxSdU1rNWhURmh2YlZGT1QxbHhRVDA5OlNESjg2cEpuNTRqeDg4V1JSYVpubHc9PQ==
free shipping
Sell your book
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783031014239 |
| Publisher: | Springer International Publishing AG |
| Release Date: | May of 2020 |
| Language: | English |
| Dimensions: | 191 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 65 |
| Format: | Book |
| Collection: | Synthesis Lectures On Software Engineering |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9783031014239 |
BOOKS FROM THE SAME COLLECTION
-
10%Hard Problems In Software TestingSpringer International Publishing AG37,84€ 10% CARDfree shipping
-
eBook10%Model-Driven Software Engineering In PracticeSpringer International Publishing105,99€ 10% CARD