MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01169cam a2200325 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
u66323 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
SIRSI |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240619145803.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110131 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521435925 |
| Qualifying information |
pbk. |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0521434572 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0521435927 |
| Qualifying information |
pbk. |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521434577 |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
.F44 2005 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Feijs, L. M. G.. , |
| Relator term |
author |
| 9 (RLIN) |
173990 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Formal specification and design / |
| Statement of responsibility, etc. |
L. M. G. Feijs, H. B. M. Jonkers. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
New York : |
| Name of producer, publisher, distributor, manufacturer |
Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2005. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiii, 335 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
25 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Cambridge tracts in theoretical computer science ; |
| Volume/sequential designation |
v. 35 |
| 596 ## - |
|---|
| -- |
1 3 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software |
| General subdivision |
Development. |
| 9 (RLIN) |
3381 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Object-oriented programming (Computer science). |
| 9 (RLIN) |
3700 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jonkers, H. B. M. |
| 9 (RLIN) |
173991 |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) |
|---|
| a |
.b10351851 |
| b |
07-11-22 |
| c |
12-09-18 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| -- |
m |
| Operator's initials, OID (RLIN) |
06-11-22 |
| Cataloger's initials, CIN (RLIN) |
m |
| First date, FD (RLIN) |
a |
| -- |
- |
| -- |
eng |
| -- |
|
| -- |
0 |