Static Analysis
-15%
portes grátis
Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
Podelski, Andreas
Springer International Publishing AG
08/2018
445
Mole
Inglês
9783319997247
15 a 20 dias
694
Descrição não disponível.
Static Analysis.- Program Verification.-Bug Detection.- Compiler Organization.- Program Understanding.- Software Maintenance.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
static analysis;program verification;bug detection;compiler organization;program understanding;software maintenance;software engineering;software evaluation;semantics;model checking;specifications;verification;programming languages;static analysis;computer compilers;formal methods;formal logic;telecommunication networks;telecommunication traffic
Static Analysis.- Program Verification.-Bug Detection.- Compiler Organization.- Program Understanding.- Software Maintenance.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
static analysis;program verification;bug detection;compiler organization;program understanding;software maintenance;software engineering;software evaluation;semantics;model checking;specifications;verification;programming languages;static analysis;computer compilers;formal methods;formal logic;telecommunication networks;telecommunication traffic
