000 -LEADER |
fixed length control field |
00492nam a22001697a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
220905b ||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780521883337 |
040 ## - CATALOGING SOURCE |
Transcribing agency |
SUZA |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Edition number |
22 |
Classification number |
004.33 OLD |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
OLDEROG, Ernst-Rudiger |
245 ## - TITLE STATEMENT |
Title |
Real-time Systems |
Remainder of title |
Formal Specification and Automatic Verfication |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
United State of America |
Name of publisher, distributor, etc. |
Cambridge |
Date of publication, distribution, etc. |
2008 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xvi,320pp |
Other physical details |
Illustration |
Dimensions |
25cm |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Source of heading or term |
System |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Henning Dierks |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Koha item type |
Books |