Normal view MARC view ISBD view

Semantics and verification of extended phase transition systems in duration calculus (Record no. 10623)

000 -LEADER
fixed length control field	00613nam a2200169 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	121119s1996 xx \|\| \|\|\|\|\|\|\| \|d
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Xu, Qiwen
245 00 - TITLE STATEMENT
Title	Semantics and verification of extended phase transition systems in duration calculus
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 B17628 Original series title: UNU/IIST Report ; No.72.
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
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.72	UNU B17628	B17628	1998-07-08	2012-11-21	Book

UNU