10% de desconto

Symbolic Execution And Quantitative Reasoning

Applications To Software Safety And Security

de Corina S. Pasareanu
idioma: inglês
Editor: Springer International Publishing AG, maio de 2020 ‧
31,08€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Symbolic Execution And Quantitative Reasoning

Applications To Software Safety And Security

de Corina S. Pasareanu

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