Biblioteca da Universidade do Minho

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

The treatment of macro expansions in the temporal logic of parallel programs / A. Kausche, F. Kroger

Main Author Kausche, A. Coauthor Kroger, F. Country Alemanha. Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 34 p. ; 21 cm Series TUM , I8506 CDU 519.68
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
BGUMD 48160 Available 75387
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.