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
YldoVVpWRnNWWGRXZDIxWVVEUlNOV1YzTVRsMVEyNVhTbU5QTTJaNFpHMTFSelI0WlVSTlFtRjZNa056Wldzek4zYzRVbEZPWldkUmNETXllR054T0ZOU1NuQjNNemRYVDBWNFpGSjVSVnB5ZEU4NVVsVnhhekJxTlZKeVJrWm1WRU5YWm1GQ05tRmtNR1IxU2pCUmVGaHNSWFUxTVdZcmFVdHZZMHN4TmpOd1F6VmxURGx4U0dkaGJHRnVNVW95YWxreU9IVjFhalJxWVVSRU5tNXJVVWN3YldaTFpHNTVhVXN2YzA5TFVGVnNkM1E1V0hCdFJqaFRjRGt6VXprdlVYVlNOM2RsU1RseVMyNUpZa3RHTURkVlQybFpMMFZNWVdWaE5GVXhZMWx5WVRoUk4xWkRaamRQWm5WR2VXTjBkbkI1TDFoemRYVnJNMXAyV2pWM1Z6Wm5lRmxzZEU1dFVVcFRlRmxsTDBZelUwTlpaVlZ1Y1hwSVlUbHZXR3RPUVN0eFdIQnFUbmRuVUZsalUzbEJWelprYm1KR1dqTXpPREZWYkdKS1QyeHJiMHB3V1d3dkswdG5WWGhETkZrNWRrTTNXR1JrSzBScldFRlJaRXRIZEdRdmNsRmliamhoZDFaQ0wxSnRNM05SVTJGVk1FSm1TRFZzYkVsdFlsazJkR1IzTjI1S1J5ODBXV05PVmpoQmNXMHJWSFZYTkdSQ01GVXhSVnBoZUhGalVFdEpiVGRxVkdwWWVVaDFVVTFSVms1WWFFMWxjV0pZVUhOcE56UkhSbFl5Ym01WlZrOTVaakJrZWtFcmExUnFaMUZDV1dweGFUQkJVblJ5WmtOTlJUaGplazVwYms4dll6bDRUR05sY1RsRFpYSlFPRzB5Y0ZOd1R6UnBSRmN3VDNSbmIxVlBOVzlEYjB0YVRVRXhTa3BGYUVwaGVHeGxPV0V2Ukc5NlNsRkNhMWxwWlZWNlptMVNaMDFQTVM5d1dESmpWSHBETjBsT2IzaElVRnA1ZUZkSmVYVjJZV2REWmxCSVNucFVUeXRyTVdOTFprNTVWM0JHSzFCdFN5OVdNazFqWkhocVZHdDFhRlp1U2psMGNURnBha1k0UW1OalUxUkVlRWMxYW5neWVGbFpla3RKVGtkaFltbG5hSGxhVEU5SWNWRnlZekZ2UW1GM1RVWXllbGwwVlV4bFZIazNSblZ6WWxKR00zVTNWVFoxVjNWNlJWUTBUalV2VUVnemN6Tk1NMGxPYURGQlZ5dHJhbVprV2xGVU5WcGhaVWx0VEdocFdVMXNkRzA1YUZGVE5HVndVRVpOYURaYU5GaGhVR2hYVjFKMk1tTmtNalJ4Vkc1bWIzRXlPVXhqVUdkT09VcHdXbkY1YWxvMmJFUllRVDA5OkQ2NUVIOTBLTDEzQW1STUY1enprQlE9PQ==
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.
DETAILS
| 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
-
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