Date and Time

Process algebra : (Record no. 8278)

000 -LEADER
fixed length control field 01214cam a2200337 a 4500
001 - CONTROL NUMBER
control field 1547432
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171106120758.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 910220s1990 enk b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 91119944
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521820493 (Hbk)
040 ## - CATALOGING SOURCE
Original cataloging agency IISER Bhopal
Transcribing agency IISER Bhopal
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA267
Item number .B33 1990
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151 B145P
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Baeten, J. C. M.
9 (RLIN) 22097
222 ## - KEY TITLE
Key title EECS-textbook collection
245 10 - TITLE STATEMENT
Title Process algebra :
Statement of responsibility, etc J.C.M. Baeten and W.P. Weijland.
Remainder of title equational theories of communicating processes
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc 2010.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 460 p. ;
Dimensions 26 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge tracts in theoretical computer science ;
Volume number/sequential designation 50
9 (RLIN) 22098
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and indexes.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Machine theory.
9 (RLIN) 22099
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Process algebra.
9 (RLIN) 22123
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel processing (Electronic computers)
9 (RLIN) 22100
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Communication process
9 (RLIN) 22124
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Basten, T.
9 (RLIN) 22101
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Reniers, M. A.
9 (RLIN) 22125
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 3
e ncip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Date checked out Price effective from Current Location Damaged status Lost status Full call number Collection code Public note Date last seen Total Checkouts Total Renewals Cost, replacement price Source of acquisition Barcode Shelving location Not for loan Cost, normal purchase price Permanent Location Source of classification or shelving scheme Withdrawn status Koha item type Date acquired
 2017-11-06Central Library, IISER Bhopal  004.0151 B145PReferenceReserve 2017-11-06  5555.32278704Reference SectionNot For Loan4444.28Central Library, IISER Bhopal  Books2017-11-06
2020-02-252017-11-06Central Library, IISER Bhopal  004.0151 B145P  2020-02-25325555.32278706General Section 4444.28Central Library, IISER Bhopal  Books2017-11-06
 2017-11-06Central Library, IISER Bhopal  004.0151 B145P  2017-11-06  5555.32278705General Section 4444.28Central Library, IISER Bhopal  Books2017-11-06



Contact for Queries: skpathak@iiserb.ac.in

Powered by Koha