Uma Introdução Informal aos Métodos Formais. Segunda edição revista e ampliada. Trajectos Ciência - 1. Gradiva. Lisboa. 1996.
_x000d_
De 23x15 cm. Com 277 págs. Brochado. Ilustrado no texto com tabelas. Exemplar preserva o canhoto do talão comercial, na folha de guarda anterior.
Português
Inglês
