000 -LEADER |
fixed length control field |
00764cam a22002297a 4500 |
001 - CONTROL NUMBER |
control field |
15613872 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
090205s2008 enka b 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2009275615 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0521883334 (hbk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780521883337 (hbk.) |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
UKM |
Transcribing agency |
UKM |
Modifying agency |
BTCTA |
-- |
BAKER |
-- |
BWKUK |
-- |
BWK |
-- |
YDXCP |
-- |
BWX |
-- |
CDX |
-- |
DLC |
050 00 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.54 |
Item number |
.O43 2008 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.33 |
Edition number |
22 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Olderog, E.-R. |
245 10 - TITLE STATEMENT |
Title |
Real-time systems : |
Remainder of title |
formal specification and automatic verification / |
Statement of responsibility, etc. |
Ernst-Rüdiger Olderog and Henning Dierks. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cambridge, UK ; |
-- |
New York : |
Name of publisher, distributor, etc. |
Cambridge University Press, |
Date of publication, distribution, etc. |
2008. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xvi, 320 p. : |
Other physical details |
ill. ; |
Dimensions |
26 cm. |
500 ## - GENERAL NOTE |
General note |
INDEX |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Real-time data processing. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Dierks, H. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Koha item type |
Books |