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
UW1OSk1XZzVUV3hTYVdJMVIwVnBUbU5yY1N0RldsZFRVV1ZpVTIxWWNrSlBPVE4wY21STFpHMXlhRXhuYW1zMmVTOHdZekV5Ym1SeGFIZEtaR0pJVDI1eFltWkJSRTFwVDJGeE9UY3lWV0Z5ZURac2EzTkZXSE5UYmxad1JqQm5SbFpPWkZJeFIwMVBNM2xLVWpWek0wZGFUM2h0Um1aNFZqSjFSVFZhYjA1WlNHeHJVMGQxV1hwSlJVRTVUV0Y2V1RGek5saE1ZbUZ4VkZFM04yOTVRalJ3T0ZOWVVGRmljR2QxVjA1WFVGRTViM1JXUmtaM2JFaHNXRVlyU3l0Q2RVTm9XbFY2VkhCYVRVeGtabTloWldSWGFUQXpOMnMyVFVGRGFqQnFaaTh6T0dreFZtaFBSalJTVUhGTkwxZzRXRlZyV2xoYVFtZzBiQzh6WTI1WE1GRlhWa0ZuZUhSRlJqZGljbFE0VlU5bFpFZERLMFp6U2xBNFdESTVOWEE0VEc1RFpEVlBlbGQ2UnpKc1FUTkJjMFZOY1RCclRDdHdWemNyVFc1bWExUmthVUpxZG5OUlQwdEZaMGhzTWpsMFUwbFlibVpzTWt4dGRrWjFRa1pWUWpOVmJuZFVVblZvZUVwS01WVktjR0pKU2s5ME5tUldMMG8zT0RsSFNqRXpUbUZzYzBGalZXNVZaRWRVWmxkUk5FZDBWRVJIYWtGNlozTnJZbFJ4U1hKb1dsVnJVRGhzTHpreFdsZHhSRVp4V0N0M05VVjBRMm80VjJ4VGR5dFNNWFp1VmpWVE1qbFdSRkJtU0VwRmJrOVBlV3g1ZW01SGMwcExabFZHTlUxcGFFaHVTVlV4V1ZadFpEWnViM01yVmk4NVdIaHhUM2x2VW05RkwybHJWV2RTY3poTWRFcHlZMU5oWm5sblVrOVVjbFpOWVUwNGEyZEliRGd4YzBkTlpVbFhhbTVCT0VOSVVIUTFkRmhETVUxRldIWm1ZbE51VkhwVWVIWnFNSFZTUTNReVEyMW1TVm8wUVRkVGQyRTBUa0pVYVRJMmRWaFJiWGxQTWt0YU4zcEdZV1ZaUTB0cEt6TlZkbkZLVXpkMFUzZHhZakY2VldKTVFUSm9kbmR0VUhkV1RXcGhhMGx1U0d0TGRrSXpOakpqZEdwUlIwMUhXbGR4ZWtneldYY3lSbU4wTDI5Tk5uWlFkVXcwY0daRU9HRkdOMUJsUlhSNVdYZFZhV012UmtOeWRqZHlOVnBpZFVoWVdtMUljVTgyUlVnMmFqUldibEJwZEVOQ1ZsWktibWRWV0hORWJVNXZOemwzUFE9PTpzU0xZWkRZVlkyanhIL0pYSVhaMS9nPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783031025518 |
| Publisher: | Springer International Publishing |
| Release Date: | May of 2022 |
| Language: | English |
| Format: | eBook |
| 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
-
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
-
10%Symbolic Execution And Quantitative ReasoningSpringer International Publishing AG31,08€ 10% CARDfree shipping