UNU

Your cart is empty.

United Nations University Library

Normal view MARC view ISBD view

Some results on the decidability of duration calculus under sycnhronous interpretation

By: Satpathy, Manoranjan.
Contributor(s): Dang, Hung Van | Pandya, Paritosh K.
Material type: materialTypeLabelBookSeries: UNU/IIST Report.Publisher: Macau 1996; UNU Institute for Software Technology Subject(s): COMPUTER SOFTWARE | TRAINING AND RESEARCH INSTITUTIONS | SOFTWARE ENGINEERING
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Status Date due
Book Book General Stacks UNU Publications UNU B17642 (Browse shelf) No.86 Available

UNU B17642

  • Original series title: UNU/IIST Report ; No.86.

There are no comments for this item.

Log in to your account to post a comment.


© United Nations University Library, 2022. All rights reserved.

Powered by Koha