UNU

Your cart is empty.

United Nations University Library

Normal view MARC view ISBD view

Semantics and verification of extended phase transition systems in duration calculus

By: Xu, Qiwen.
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 B17628 (Browse shelf) No.72 Available

UNU B17628

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

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