Fundamentals of algebraic specification V.1 (Record no. 162297)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00703cam a2200205 a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 850305m19859999wb a b 001 0 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0387137181 (U.S. : v. 1) |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | 512.55 |
Item number | EHR.1 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Ehrig, Hartmut. |
9 (RLIN) | 3317 |
245 10 - TITLE STATEMENT | |
Title | Fundamentals of algebraic specification V.1 |
Statement of responsibility, etc. | H. Ehrig, B. Mahr. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Berlin ; |
-- | New York : |
Name of publisher, distributor, etc. | Springer-Verlag, |
Date of publication, distribution, etc. | c1985-<c1990 > |
300 ## - PHYSICAL DESCRIPTION | |
Extent | v.1 |
Other physical details | ill. ; |
490 1# - SERIES STATEMENT | |
Series statement | EATCS monographs on theoretical computer science ; |
Volume/sequential designation | v. 6, 21 |
500 ## - GENERAL NOTE | |
General note | V.1;- Equations and initial semantic |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Data structures (Computer science) |
9 (RLIN) | 2777 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Algebra. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Ehrig, Hartmut. |
9 (RLIN) | 3318 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Mahr, B. |
9 (RLIN) | 3319 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Books |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Department of Mathematics | Department of Mathematics | 12/22/2009 | 512.55 EHR.1 | MAT06170 | 12/22/2009 | 1 | 12/22/2009 | Books |