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
YTBkTFJ6Vm9UV1F5TXpkRVdsZGpaVzlQWldkaGJXbDVWMGcyU2swNUwyMUVZVEpOWVZwM2FsZHdZU3M0YVdwa2MzTlRaR1prWkdwelNFeG5XU3RsT1hjd2JGcE5RMmxxWTNSbUwxcEZURmxUU1RWS1lrWlZhVVptWVdOT2RqTnBWbTFTUjFoc1JGRjJiRTgzV1VWUlRHeDVVbWR2TDBNMlpuUkJRVVZpU0Rac2VtaEVRbVk1T0ZZMmJ6ZDFUbEpVUTNwUWEwUkhkMWc1YlU4NU9EQm9lakV5Tm1GRWNrMWhUemhtU0hncmRsRnpTRTk1VG10YU5FRTFla1J5YzBSSFNWaEJXRzlEWlRBM1dGZFVaWHBXU0dNMWVtOU5lbmQ0T1dVNFYzVmlRVUZZYlRSNFVXOWpWRXB4VUdjMGFFWkxkbVo2Vkd4aWJGUTRUVWRITkdOb0sxcDBWMWhMWVhrNVNuQkllRXhGUVhKRU9XODFjelp5ZFZSbGRGQjJOVmRGTDNGNmJqRmpjMkZ4WkZsNlNuRjZRMWxEU0V3dk0zSjROMW93ZGxGRk9EQnBVVVo2VDBjck9YUnlhV0pRWkVjemJFVldOa3BhU2k5VWQycFFiVmh3WVhoemF5OXBkbTQzVUZaemJFUllaemhsZEhkRFRrOHhjR1V4YkV4dVFVVmlTMUZaV2tWWVlXOVJTa2R4WjA5WlQzaHJTWGRHTnpBeFJISnlRM3B2UTBsMVEyZElia1JQYms4ME9FZE1VbGg1YlZWSU5IUnZWUzlyVldGT1pGbFdVMlV3Y2xOa1NHNW5RVU5UWXpVdk9VUmFaV1k1V1RnclV6SkNaMXBoTVZnM2RVaGFRVTh3TUM5WFluQm1VSEkyUW14TWJUbEZaRkZPU2tWNE5uQXdiakpvWTBZdlNIaFJTelZZUmxwd1dIbHhaRmRuZFdWMFVWbEtNRFp1YTA5eUwybEVhVGcwZUUxR2JYWkZURzFMVkN0MGIwMTZaeXN3Vkdwa1NUbGtXbTlNT0RkalQwRjRjVVZVV2pkdk9DOVlha0pMVnpRMlRrWnVhSEJWUzBOUU5saEJZVTFVUjNsTVdUUTFNRlpYZG5ob1lVUlphbkpEYkROR2RGVkROMVY2VjBSbmRHWm5XbkY1WkVSa2QzSjJjVFV6T0VzclUzbEtabmM1TXpKVWJqaFllblo1VUdWaVZIaFVVRlIzYTBkMVVqTmlhMDFOVFVKek0xaFlUWGx3TkhaWVkyeGtSRTFhYkdGT1pFMXNUMlJEVVROUE0yTm1hV2hsY25rek4wRkliMWQwYWtSckwzVlpPSFphZFhsQlExZFRORU5RY0RoU1JFRmFZekpLU0hGcmJFTlhWVVZ2YlhCQlEwczRhRzl6Y25sNmVWaHRlVVpQY1ZwcWRWZHZRMWhrVkd0MVZtdEVRMWxJYTNkcFNqQlhOWFZSYnpkSlUxRnZaM0JSZEd0UlFnPT06R3NFR0VOOUVWcXkxZnpvYlNJZjNvQT09
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
-
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