Especificações em Z - Uma introdução, livro de Arnaldo Vieira Moura

Especificações em Z - Uma introdução

editora: UNICAMP
Oferece uma base operacional para o uso da notação Z na especificação de módulos de software. Não pressupõe nenhum conhecimento prévio específico por parte do leitor. Pode ser utilizado tanto para auto-instrução quanto como livro-texto ou material de suporte em disciplinas específicas que tratem da notação Z.
Descrição
Oferece uma base operacional para o uso da notação Z na especificação de módulos de software. Não pressupõe nenhum conhecimento prévio específico por parte do leitor. Pode ser utilizado tanto para auto-instrução quanto como livro-texto ou material de suporte em disciplinas específicas que tratem da notação Z.

Dados Técnicos
Peso: 700g
ISBN: 9788526805750