adicionar à lista de desejos
Symbolic Execution And Quantitative Reasoning eBook
Applications To Software Safety And Security
idioma: inglês
Editor:
Springer International Publishing, maio de 2022 ‧
ver detalhes do produto
30,46€
10% DESCONTO
CARTÃO
TW5JNFVuTlNlRWc1YW5sdWJXdFJaRll5YzFCYU5XMU5jV2RhZFRsMVJreEpTbE5ZV1hKSmFFcFhZV05QYlU5eFRXdGpXVkF6UTFCdlZYazFNR2hSZEZnM1duZHNNazV2VURCM1UzRTFLMjV6Tm5WbVRGRmFTbVl5ZEhoa1pHWjNRVFJMWkN0S1JpdG9hek0wTW1kSWNsbHNialZPWmtoUFFXNW1Uak5aVkRSTWVqZHhUR2hMTjFRd1lWaG1aV2hZTVRoMlRuTmxkMkZKUXpkSGVFVllUblJqTlU5b1JtbEtVMk5FV1ZoSVRERmhRVVV4TlZkU1NGUkNkbFV4U0ZORE1sSjFMMEZMVkRkNFRVaHdOR2RuSzB4QmRrUkVXVXRNWVdGdk15dGhNV3BHVVV0SGQzcHlURFp3WVRob1pEWjBSbUpPV1ZsWmNHTktaUzg1WjBvNWNGbDJlWGgzUldjeVRISmpZMUpIT0Rod1RVZHlTRzlpU1ZNM1YxbGlla1phWm5oUlExVlBLMlZsUzNwbVJrUjNVbko0YVZGUk0wbHZVMUUxWm5sQlYxTnBibmhHUXpVMFNWRkRWbmxpUmxOV01FaG5lSEZGYlRGclRYZENiRlZVU3pWaVoyZFRibGt6UlZoaVlXVnBWbWhNUzBJcmJtMVJXbEJ3VWsxUFVXaHNUVGR1Wm5wc1FtdzVPVlJCU1dsSUx6SjVjMjh2VHpKSFZqVXplblpyVkVsSVpUWmhUWEowZEZORGVtdGhOaTl6YVZGaGVGQm5PWFkyT0hkbmRFbFhORmhpWmpaRVFqQXdheXRSV0Vac1lVOUdibmRFWW5sVFJGUlpaMk5PWkU1bVNYRnlWMDByZUc5cFZVTlFWVlozYTIxQlFqVkxXbXRUYVdRMllVeEVNalJzU1d0TFZtVm1WVlI1V0VJeFNUZzRiVGd6WjFaNlRVSlVhRmhOVGsxWGNHb3djekJUTDJoS1lXOXNkbXRaY2xOM1pUQmxZbVZKY21oSlVVMDFNakJwWkROTlZuZEJOVXRrV20xa1FXTTBVSEkxT0c1VGIxUlFkR3h1VTBsbVRIbHZTVTVGVVVSNlkzcFZOMFprWTFvMWVXWktkRmh2Y0hGR1EzTjFSM0JIYzJSak1tcHVMM1JJZW5JMmVVTndXVk5uWVVSeFFrSlVSVTlKYkZGRE0zcEhSMDVoYmxGelZXNHdTSFJtUWpKaU5HdGpTbkZDWTNkT2NqQmtSakpSV0dwaFVFOVNSVzhyZDAxRVUwWnFNRGhJUzFwRU5IWTNUVzFUZEVKRGFYa3piMVlyUW5KamVteE9iVU56UFE9PTpsSjh3clB4Y1QvclBOS01PUG9oTzBRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031025518 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | maio de 2022 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Synthesis Lectures On Software Engineering |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Engenharia > Engenharia Geral |
| EAN: | 9783031025518 |
LIVROS DA MESMA COLEÇÃO
-
Hard Problems In Software Testing10%Springer International Publishing AG37,84€ 10% CARTÃOportes grátis
-
Model-Driven Software Engineering In PracticeeBook10%Springer International Publishing105,99€ 10% CARTÃO
-
Symbolic Execution And Quantitative Reasoning10%Springer International Publishing AG31,08€ 10% CARTÃOportes grátis