Software Engineering and 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.

• Teoria da informação
• Algoritmos e estruturas de dados
• Engenharia do software
• Inteligência artificial
• Hardware do computador
• Programação de computadores / desenvolvimento de software
• Análise e projecto de sistemas

architecting;architecture verification and validation;artificial intelligence;databases;distributed computer systems;distributed systems;embedded systems;engineering;formal logic;linguistics;mathematics;model checking;object-oriented programming;parallel processing systems;software;software architecture;software design;software quality;verification;verification and validation