Verified Software. Theories, Tools, and Experiments

Índice não disponível.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Inteligência artificial
• Teoria matemática da computação
• Engenharia do software
• Compiladores
• Modelagem computacional e simulação
• Tecnologia da informação: aspectos gerais

artificial intelligence;computer software selection and evaluation;formal logic;graph theory;model checking;program compilers;programming language;semantics;software engineering;specifications;static analysis;theorem proving;verification;automated reasoning;separation logic;functional correctness