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