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.

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

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