MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05986cam a2200925 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn321260755 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703150031.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr unu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
910226s1991 gw a ob 101 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
91002815 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
SCPER |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
CUSER |
| Modifying agency |
OCLCQ |
| -- |
NLGGC |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
VT2 |
| -- |
COO |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
AU@ |
| -- |
LEAUB |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
HS0 |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCE |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCA |
| 019 ## - |
|---|
| -- |
150398722 |
| -- |
1005773025 |
| -- |
1153027779 |
| -- |
1162687554 |
| -- |
1437627608 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540463511 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540463518 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540539123 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540539124 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387539123 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387539126 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-53912-3 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058012103 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296874701 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15299527 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000070480283 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)321260755 |
| Canceled/invalid control number |
(OCoLC)150398722 |
| -- |
(OCoLC)1005773025 |
| -- |
(OCoLC)1153027779 |
| -- |
(OCoLC)1162687554 |
| -- |
(OCoLC)1437627608 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
A45 1991 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 080 0# - UNIVERSAL DECIMAL CLASSIFICATION NUMBER |
|---|
| Universal Decimal Classification number |
518.24 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/01/512 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.50 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.71 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
*00B15 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68-06 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68Q65 |
| Number source |
msc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Algebraic methods II : |
| Remainder of title |
theory, tools, and applications / |
| Statement of responsibility, etc. |
J.A. Bergstra, L.M.G. Feijs, eds. |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Algebraic methods 2 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin ; |
| -- |
New York : |
| Name of producer, publisher, distributor, manufacturer |
Springer-Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice |
©1991. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (vi, 434 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
490 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"Originates from a workshop organized by ESPRIT project no 432 METEOR in Mierlo, the Netherlands, in September 1989"--Preface. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Formalizing informal requirements some aspects -- ViewPoint oriented software development: Methods and viewpoints in requirements engineering -- Using transformations to verify parallel programs -- Experiences with combining formalisms in VVSL -- A meta-environment for generating programming environments -- Introducing formal requirements into industry -- Where can I get gas round here? -- an application of a design methodology for distributed systems -- Transformations of designs -- Norman's database modularised in COLD-K -- POLAR a picture-oriented language for abstract representations -- Inheritance in COLD -- A process specification formalism based on static COLD -- Specification of the transit node in PSFd -- Design of a specification language by abstract syntax engineering -- From an ERAE requirements specification to a PLUSS algebraic specification: A case study. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified]: |
| Agency responsible for reproduction |
HathiTrust Digital Library. |
| Date of reproduction |
2024. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2024. |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14853 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
8408 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algèbre |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
27019 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| Source of heading or term |
fast |
| 9 (RLIN) |
3817 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Source of heading or term |
fast |
| 9 (RLIN) |
2949 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Datenstruktur |
| Source of heading or term |
gnd |
| 9 (RLIN) |
24464 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kongress |
| Source of heading or term |
gnd |
| 9 (RLIN) |
8384 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebraische Methode |
| Source of heading or term |
gnd |
| 9 (RLIN) |
37155 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer Science. |
| Source of heading or term |
hilcc |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering & Applied Sciences. |
| Source of heading or term |
hilcc |
| 9 (RLIN) |
9023 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| Source of heading or term |
nli |
| 9 (RLIN) |
14650 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Parallélisme (informatique) |
| Source of heading or term |
ram |
| 9 (RLIN) |
18914 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kongreß. |
| Source of heading or term |
swd |
| 9 (RLIN) |
10093 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Mierlo (1989) |
| Source of term |
swd |
| 9 (RLIN) |
1080823 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bergstra, J. A. |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJymBB6PrXf6Q4dCBhHcT3 |
| 9 (RLIN) |
32494 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Feijs, L. M. G. |
| Fuller form of name |
(Loe M. G.) |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJh4vmhFDfQH8hjy8VgHYP |
| 9 (RLIN) |
32495 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
European Strategic Programme of Research and Development in Information Technology. |
| -- |
https://id.oclc.org/worldcat/entity/E39QQPVp7XCYgHyMRrRDBBtB7R |
| 9 (RLIN) |
32496 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Algebraic methods II (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFxthdyrTwW9wDMyHBB8fq |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Record control number |
(OCoLC)23287021 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
490. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-53912-3">https://link.springer.com/10.1007/3-540-53912-3</a> |
| 936 ## - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
|---|
| OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
BATCHLOAD |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |