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

MARC details
000 -LEADER
fixed length control field 00878cam a2200265 a 4500
001 - CONTROL NUMBER
control field 0000036451
003 - CONTROL NUMBER IDENTIFIER
control field 0001
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 910719m19929999nyua b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540976647 (Berlin : v. 1)
International Standard Book Number 0387976647 (New York : v. 1)
035 ## - SYSTEM CONTROL NUMBER
-- (DLC) 91028181
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 20
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 005.1
Item number MAN-T
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Manna, Zohar.
245 14 - TITLE STATEMENT
Title The temporal logic of reactive and concurrent systems
Medium [Book] /
Statement of responsibility, etc. Zohar Manna, Amir Pnueli.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
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 > :
Other physical details ill. ;
Dimensions 25 cm.
365 ## - TRADE PRICE
Price type code 01
Price amount 2,956.00
521 ## - TARGET AUDIENCE NOTE
Target audience note All.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming.
Topical term or geographic name entry element Logic, Symbolic and mathematical.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pnueli, A.
852 ## - LOCATION
Accession No. 27946
-- 2956.00
-- Book Ocean Islamabad
Former shelving location Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Junaid Zaidi Library, COMSATS University Islamabad Junaid Zaidi Library, COMSATS University Islamabad Ground Floor 09/18/2023   005.1 MAN-T 27946 09/18/2023 09/18/2023 Books