Conte aos seus amigos sobre este item:
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering
Corina S. Pasareanu
Preço
A$ 44,99
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 29 de jul - 4 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering
Corina S. Pasareanu
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.
65 pages, IX, 65 p.; IX, 65 p.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de maio de 2020 |
| ISBN13 | 9783031014239 |
| Editoras | Springer International Publishing AG |
| Páginas | 65 |
| Dimensões | 191 × 235 × 4 mm · 165 g |
| Idioma | English |
Ver tudo de Corina S. Pasareanu ( por exemplo Paperback Book )