Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering - Corina S. Pasareanu - Livros - Springer International Publishing AG - 9783031014239 - 13 de maio de 2020
Caso a capa e o título não sejam correspondentes, considere o título como correto

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering

Corina S. Pasareanu

Preço
Kč 624
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:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering

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 )