Integrated Formal Methods

Índice não disponível.

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

• Engenharia do software
• Inteligência artificial
• Compiladores
• Teoria matemática da computação
• Hardware do computador
• Tecnologia da informação: aspectos gerais

artificial intelligence;computer software selection and evaluation;data security;formal logic;formal methods;formal verifications;java;model checking;network security;problem solving;program compilers;programming languages;robotics;robots;satisfiability;semantics;software engineering;specifications;theorem proving;verification