Cover image

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: materialTypeLabel

materialTypeLabel

BookSeries: 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)

Holdings ( 1 )
Title notes
Comments ( 0 )

Item type	Current location	Collection	Call number	Vol info	Status	Date due
Book	General Stacks	UNU Publications	UNU B17642 (Browse shelf)	No.86	Available

Browsing United Nations University Library Shelves , Shelving location: General Stacks , Collection code: UNU Publications Close shelf browser

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	UNU B17623 Formal development of a digital multiplexed radio-telephone system	UNU B17628 Semantics and verification of extended phase transition systems in duration calculus	UNU B17634 A first course in software engineering	UNU B17642 Some results on the decidability of duration calculus under sycnhronous interpretation	UNU B17644 Towards foundations of the general theory of transport domains	UNU B17646 UNU/IIST's software technology R&D in Africa, Asia, Eastern Europe, and Latin America : a personal view	UNU B17648 A formal model for competing enterpriess, applied to marketing decision-making	Next

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