Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Lógicas temporais para a especificação e verificação de sistemas de informação / José Manuel Cunha Leal Molarinho Carmo

Main Author Carmo, José Manuel Cunha Leal Molarinho Country Portugal. Publication [S.l.] : Instituto Superior Técnico, 1987 Description XII, 352 p. ; 30 cm CDU 681.3:658.0 658.0:681.3
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUM1 681.3:658.0 - Perdido | Lost Indisponível | Not available 75132
Total holds: 0

Exemplar fotocopiado

There are no comments for this item.

Log in to your account to post a comment.