Biblioteca da Universidade do Minho

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

The specification and prototyping of communication protocols : from heterogeneous temporal logic to concurrent prolog / Alexandre Julio Teixeira dos Santos, Vasco Luís Barbosa Freitas, José carlos Ferreira Maia Neves

Main Author Santos, Alexandre Coauthor Freitas, Vasco
Neves, José Country Portugal. Analytic , p. 585-605 CDU 621.324
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 621.324 Não requisitável | Not for loan 122689
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.