adicionar à lista de desejos
Symbolic Execution And Quantitative Reasoning
Applications To Software Safety And Security
idioma: inglês
Editor:
Springer International Publishing AG, maio de 2020 ‧
ver detalhes do produto
31,08€
10% DESCONTO
CARTÃO
U1RWd1NFMDFSblpxUkZsTWJuTmtMMVE0VEdkdFJuVktUVWxwV1hGRldtTm5ZVzlWVDFSdlREVXliemh3SzJSTFV6RjNSUzl3UW5kUldreFNaVlJMUXpSWVFtWlpOREJuZUdNdk0xUjZNM3BWT1d0dmFuaEtVMjRyTm5KUmNuRm9VVVl3VUdaYVpDdERkMEZJTmxreVYwNU1kelJHV21WNGRUZGFURlZ5UkhseGFIWjJaVGM1VVdsa05FRkRjVnBWY1ZGWmVISXpObUZLTURnMU5GaEdaSGRyUld0MmNXeEhkbTkyYTFoQk1ubzFkbFYzWlVSYVNETmpSWHBIWkVNNWIxaGFlR1Y2ZVc1QmRHWlVVVmhOUkhOaFNrMDJiWGRsTm1aNWRVMUxVbWhtT0ZGdGFWZEpkV1YzVlRGRk5XVk5hRWxQVkRsSFIxSlhNRFowYzBsQlp6WlVSbXd3Ukd0WWVVTTJZV2hKV1VNclNWTlNLM2x6VjAxRVJpOHJXR2RNYkdnNVMxaDJXVkIxVnk5cFFWRkpiM0pMY1dwYU0yNHdkR1ZMZURnMlpYVlRXRmhoVm1vMVJIVnhORlkzYkRKbFFuZ3JVR2hEYjJZdlNsSk5VRlEzZFRrNGVGWnVUMmN2WlRZMVR6Tm1ibTFxTlV4d2VtaDNPRU1yVUVaRUt6WXlTVEl5Y0RsVWVXbFNaRll3ZWxWU04yVnVhM0pQVEd3d2NVcFhUbGhRYW5NM1IzUlBVREEwTjFOSU1HMW1UazAwUVZCd1RVSjFlRTh2Um5KdFVsUkxUalZ3UzJ4RGMxQXdPVWhzZW1JdmJVbFVlVWcxV25RMFJWbzBjWFI1YjA0NU5YWm1laloyUm5wWmNUWm9NMjVsYmtadWRWTnplaTltZVZkelVHYzRXRUV4Y2pCbWIwUlhhbFp3WVZOdlZXSnVNRzlDTTNGaFQwRlNjSG95Wkc4MU9TdGplVWRpYWpSSlNYVXJjblYwVlRCbFZXNW9OWEE1WTJGWVJ6aHdORzVyU1RWTldVeENSWE56VERFMWJHeEpkMWQ2VW5CUmVVVjVMMUpFYzJzMGNYa3JPR0V2YURCTU1sTXpRMjlvUzNFd09WZFVVU3RtYW1kc2VqWnZXVVptVGt3dlRrVTFTMEpuWVhFd1JDdDBkbm81Ulc5UFowMXZXWEYwZUhkalEyNDVRakprUVU4M2J6UTVkbFJzUjNkU2JqZHFPVzlxYmxobE9UWkxhRFZGTm5WQk0ydExiR3h0V25ka1lrVk9iMmQ2VWs5R1ZrWnpTMkp0TVRaU09HaHdka1JVWm5aME1uWmpXVTV6Vkhad1JYaHJOalpFUjA5aGVWVkZVRE5KZEdNeWNFSnhaMWhtWTJOa05qaG1jVFpoVFZKR05FZzVkRGRySzFVME9USkJNblpXY3pnd01VTnBUbFprV0c5NGFteDBVSGgyVkRWak4zRkxaRVYzVG01aVJ3PT06N05UM2VxRlRUbDVDem9LTnNBUnB3UT09
portes grátis
Venda o seu livro
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: | 9783031014239 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | maio de 2020 |
| Idioma: | Inglês |
| Dimensões: | 191 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 65 |
| Tipo de produto: | Livro |
| Coleção: | Synthesis Lectures On Software Engineering |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9783031014239 |
LIVROS DA MESMA COLEÇÃO
-
10%Hard Problems In Software TestingSpringer International Publishing AG37,84€ 10% CARTÃOportes grátis
-
eBook10%Model-Driven Software Engineering In PracticeSpringer International Publishing105,99€ 10% CARTÃO