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 |