Welcome to Central Library, SUST

The temporal logic of reactive and concurrent systems / (Record no. 60703)

MARC details
000 -LEADER
fixed length control field 00936nam a22002537a 4500
001 - CONTROL NUMBER
control field sulbI000470
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160522174007.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160522s1992 nyua b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387976647 (New York : v. 1)
International Standard Book Number 3540976647 (Berlin : v. 1)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
-- BD-SySUS
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 20
Item number NAT
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Manna, Zohar.
9 (RLIN) 24866
245 14 - TITLE STATEMENT
Title The temporal logic of reactive and concurrent systems /
Statement of responsibility, etc. Zohar Manna, Amir Pnueli.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. c1992.
300 ## - PHYSICAL DESCRIPTION
Extent (V-1), xiv, 427p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 389-401) and indexes.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming.
9 (RLIN) 12660
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
9 (RLIN) 12531
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pnueli, Amir,
Dates associated with a name 1941-2009.
9 (RLIN) 24867
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0815/91028181-d.html">http://www.loc.gov/catdir/enhancements/fy0815/91028181-d.html</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.1 NAT I000470 22/05/2016 1 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.1 NAT I000469 22/05/2016 2 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.1 NAT I000468 22/05/2016 3 22/05/2016