Oliveira,, José Nuno Fonseca Disciplina de métodos formais de programação / José Nuno Fonseca de Oliveira

Disciplina de métodos formais de programação / José Nuno Fonseca de Oliveira . - Braga : Universidade do Minho, 1988 . - 31 f. 30 cm
519.68