No cover image available
Normal view MARC view ISBD view

Especificação formal de uma máquina virtual pseudo-concorrente : projecto SATDEL : relatório / Pedro Rangel Henriques, Leonor Barroca, Mário Martins

Main Author Henriques, Pedro Rangel Coauthor Barroca, Leonor, 1956-
Martins, F. Mário, 1955-
Country Portugal. Publication [Braga] : Universidade do Minho, 1986 Description 36 f. ; 29 cm CDU 519.876.5
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 de Reservados
BRE 519.876.5 - H Não requisitável | Not for loan 35249
Total holds: 0

Exemplar fotocopiado

There are no comments for this item.

Log in to your account to post a comment.