MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05061cam a2200769 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn827360169 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703162315.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 nn|008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100729s1990 gw ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
KIJ |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
KIJ |
| Modifying agency |
OCLCO |
| -- |
SINTU |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
ITD |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
OCLCQ |
| -- |
TXI |
| -- |
TFW |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
AU@ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
INARC |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
1096239122 |
| -- |
1097043314 |
| -- |
1119511179 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540470069 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540470069 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540525130 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540525134 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540525134 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-52513-0 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058029161 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15494532 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)827360169 |
| Canceled/invalid control number |
(OCoLC)1096239122 |
| -- |
(OCoLC)1097043314 |
| -- |
(OCoLC)1119511179 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
V36 1990 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYF |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM036000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1015113 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
VDM (Symposium) |
| Number of part/section/meeting |
(3rd : |
| Date of meeting |
1990 : |
| Location of meeting |
Kiel, Germany) |
| 9 (RLIN) |
48045 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
VDM '90 : |
| Remainder of title |
VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / |
| Statement of responsibility, etc. |
edited by D. Bjørner, C.A.R. Hoare, H. Langmaack. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin, Heidelberg : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
1990. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource : |
| Other physical details |
v.: digital |
| 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
428 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Object orientation and formal techniques -- An algebraic approach to refinement -- Modal logic programming -- Z specification of an object manager -- Correctness in the small -- A formal approach to hypertext using post-prototype formal specification -- Programming with VDM domains -- A buffering system implementation using VDM -- Formal specifications as reusable frameworks -- Z and the refinement calculus -- Modularizing the formal description of a database system -- Modular extensions to Z -- Adding abstract datatypes to Meta-IV -- Towards a semantics for object-Z -- HOOD and Z for the development of complex software systems -- Using Z as a specification calculus for object-oriented systems -- Specifying open distributed systems with Z -- Refinement of state-based concurrent systems -- Refining data to processes -- Two approaches towards the formalisation of VDM -- Type checking BSI/VDM-SL -- Type inference in Z -- Recursive definitions revisited -- Towards the semantics of the definitional language of MetaSoft -- On conservative extensions of syntax in the process of system development -- A formal semantics for Z and the link between Z and the relational algebra -- A naive domain universe for VDM. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, while Z refers to Zermelo, a mathematician whose name is associated with set theory. These lectures at VDM Europe are distinguished by their concern with bringing real theory to apply to real programming. In Europe, there is much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: applications, methodology, formalisations, and foundations. The methodology group has been further subdivided into five areas: specification methodology, design methodology, modularity, object orientedness, and processes, concurrency and distributed systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| 9 (RLIN) |
14736 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design. |
| 9 (RLIN) |
4749 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing. |
| 9 (RLIN) |
6665 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| 9 (RLIN) |
14930 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel. |
| 9 (RLIN) |
19335 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Structure logique. |
| 9 (RLIN) |
31063 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
data processing. |
| Source of heading or term |
aat |
| 9 (RLIN) |
14620 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
computer science. |
| Source of heading or term |
aat |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| Source of heading or term |
fast |
| 9 (RLIN) |
6665 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| Source of heading or term |
fast |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design |
| Source of heading or term |
fast |
| 9 (RLIN) |
4749 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bjørner, D. |
| Fuller form of name |
(Dines), |
| Dates associated with a name |
1937- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJxmJDtPGM4wxcVm7hy68C |
| 9 (RLIN) |
16821 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hoare, C. A. R. |
| Fuller form of name |
(Charles Antony Richard), |
| Dates associated with a name |
1934- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJd8dcpHCjCXDjKtFghmBP |
| 9 (RLIN) |
48046 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Langmaack, Hans. |
| 9 (RLIN) |
4079 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783540525134 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
428. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-52513-0">https://link.springer.com/10.1007/3-540-52513-0</a> |
| 938 ## - |
|---|
| -- |
Internet Archive |
| -- |
INAR |
| -- |
vdm90vdmzformalm0000vdms |
| 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 |