Normal view MARC view ISBD view

Some results on the decidability of duration calculus under sycnhronous interpretation (Record no. 10626)

000 -LEADER
fixed length control field	00693nam a2200193 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	121119s1996 xx \|\| \|\|\|\|\|\|\| \|d
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Satpathy, Manoranjan
245 00 - TITLE STATEMENT
Title	Some results on the decidability of duration calculus under sycnhronous interpretation
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Macau
Date of publication, distribution, etc.	1996
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc.	UNU Institute for Software Technology
490 0# - SERIES STATEMENT
Series statement	UNU/IIST Report
500 ## - GENERAL NOTE
General note	UNU B17642 Original series title: UNU/IIST Report ; No.86.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	COMPUTER SOFTWARE
Source of heading or term	unbist
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	TRAINING AND RESEARCH INSTITUTIONS
Source of heading or term	unbist
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	SOFTWARE ENGINEERING
Source of heading or term	unbist
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Dang, Hung Van
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Pandya, Paritosh K.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	Book

Holdings
Withdrawn status	Lost status	Damaged status	Use restrictions	Not for loan	Collection code	Permanent Location	Current Location	Shelving location	Date acquired	Serial Enumeration / chronology	Full call number	Barcode	Date last seen	Price effective from	Koha item type
					UNU Publications	United Nations University Library	United Nations University Library	General Stacks	1998-07-08	No.86	UNU B17642	B17642	1998-07-08	2012-11-21	Book

UNU