Programming methodology : (Record no. 639064)

MARC details
000 -LEADER
fixed length control field 04771cam a2200805 i 4500
001 - CONTROL NUMBER
control field ocn326958676
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703150447.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 750120s1975 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency SCPER
Language of cataloging eng
Description conventions pn
Transcribing agency CUSER
Modifying agency OCLCQ
-- CUS
-- OCLCQ
-- OCLCO
-- NLGGC
-- OCLCE
-- GW5XE
-- OCLCF
-- ITD
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- UAB
-- ESU
-- OCLCQ
-- CRU
-- TFW
-- AU@
-- OCLCQ
-- EUX
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
-- OCLCQ
-- OCLCL
-- OCLCO
-- OCLCL
-- OCLCO
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 75,A23,0615
Source dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 750224584
Source DE-101
019 ## -
-- 150395117
-- 563557820
-- 1001507940
-- 1239213996
-- 1485520599
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540374015
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540374019
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540071318
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540071310
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 0387071318
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780387071312
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058012233
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 296849049
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15299938
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)326958676
Canceled/invalid control number (OCoLC)150395117
-- (OCoLC)563557820
-- (OCoLC)1001507940
-- (OCoLC)1239213996
-- (OCoLC)1485520599
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title eng
-- ger
041 #0 - LANGUAGE CODE
Language code of text/sound track or separate title engger
042 ## - AUTHENTICATION CODE
Authentication code dlr
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .I47 1974
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.6/42
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.51
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.50
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 19a
Number source sdnb
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Informatik Symposium
Number of part/section/meeting (4th :
Date of meeting 1974 :
Location of meeting Wildbad im Schwarzwald, Germany)
9 (RLIN) 34461
245 10 - TITLE STATEMENT
Title Programming methodology :
Remainder of title 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
Statement of responsibility, etc. edited by Clemens E. Hackl.
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 1975.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (vi, 501 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
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 23
500 ## - GENERAL NOTE
General note "Sponsored by IBM Germany and the IBM World Trade Corporation."
500 ## - GENERAL NOTE
General note English or German.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
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 2010.
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
546 ## - LANGUAGE NOTE
Language note English or German.
583 1# - ACTION NOTE
Action digitized
Time/date of action 2010
Jurisdiction HathiTrust Digital Library
Status committed to preserve
Source of term pda
Institution to which field applies MiAaHDL
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note On the development of systems of men and machines -- A new look at the program development process -- Organizing for structured programming -- The reliability of programming systems -- Fehleranalyse und Fehlerursachen in Systemprogrammen -- APLGOL a structured programming language for APL -- Systemprogrammierung aus der Sicht der Universitaet -- Systemprogrammiersprachen und strukturiertes Programmieren -- Software engineering or methods for the multi-person construction of multi-version programs -- Knowledge and reasoning in program synthesis -- A new approach to program testing -- Interprocedural analysis and the information derived by it -- Neue Verfahren zur Optimisierung und Parallflisierung von Programmen -- Automatic programming -- Nonprocedural programming -- Formal definition in program development -- Programmierte Strukturen -- Axiomatisierung von Programmiersprachen und ihre Grenzen -- Formalization, history, present, and future.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Form subdivision Congresses.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmation (Informatique)
Form subdivision Congrès.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Source of heading or term fast
9 (RLIN) 3021
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatik
Source of heading or term gnd
9 (RLIN) 3032
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmierung
Source of heading or term gnd
9 (RLIN) 5173
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 Computer programming
Form subdivision Congresses.
Source of heading or term nli
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 Wildbad (Schwarzwald, 1974)
Source of term swd
9 (RLIN) 1083044
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hackl, Clemens.
-- https://id.oclc.org/worldcat/entity/E39PCjrx73CRKKMPW38m6FvGVy
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element IBM Deutschland.
-- https://id.oclc.org/worldcat/entity/E39QH7Jmpm9M8GMvhfjQQcFKM6
9 (RLIN) 32586
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element IBM World Trade Corporation.
-- https://id.oclc.org/worldcat/entity/E39QH7JmqmkyfymVJbXRCKT43F
9 (RLIN) 4073
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:Informatik Symposium (4th : 1974 : Wildbad im Schwarzwald, Germany).
Title Programming methodology.
Place, publisher, and date of publication Berlin ; New York : Springer-Verlag, 1975
International Standard Book Number 0387071318
Record control number (DLC) 74034362
-- (OCoLC)1177158
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 23.
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-07131-8">https://link.springer.com/10.1007/3-540-07131-8</a>
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha