The treatment of macro expansion in the temporal logic of parallel programs A. Kausche, F. Kroger
Series: TUM. I8506 Publication details: Munchen Technische Universitat Munchen 1985Description: 34 p 20 cmItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 27185 (Browse shelf(Opens below)) | Available | 0008923 |
Lucrarea este multigrafiata
Contine bibliografie
There are no comments on this title.
Log in to your account to post a comment.