Carmo,, José Manuel Cunha Leal Molarinho
Lógicas temporais para a especificação e verificação de sistemas de informação / José Manuel Cunha Leal Molarinho Carmo
Lógicas temporais para a especificação e verificação de sistemas de informação / José Manuel Cunha Leal Molarinho Carmo
. - [S.l.] : Instituto Superior Técnico, 1987
. - XII, 352 p. 30 cm
681.3:658.0
658.0:681.3