Mathematical foundations of software development / (Record no. 380334)

000 -LEADER
fixed length control field 03586cam a2200637Ki 4500
001 - CONTROL NUMBER
control field ocn564226142
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626105540.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 bn||||||abp
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr bn||||||ada
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100321s1985 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency OCLCE
Language of cataloging eng
Description conventions pn
Transcribing agency OCLCE
Modifying agency OCLCQ
-- CUSER
-- CUS
-- OCLCO
-- GW5XE
-- ITD
-- OCLCO
-- OCLCQ
-- UAB
-- ESU
-- OCLCF
-- OCLCQ
019 ## -
-- 321334279
-- 1001486270
-- 1038419657
-- 1039519505
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540393023
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540393021
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 0387151982
Qualifying information (U.S. ;
-- pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780387151984
Qualifying information (U.S. ;
-- pbk.)
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15581300
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)564226142
Canceled/invalid control number (OCoLC)321334279
-- (OCoLC)1001486270
-- (OCoLC)1038419657
-- (OCoLC)1039519505
042 ## - AUTHENTICATION CODE
Authentication code dlr
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.D47
Item number I57 1985 vol. 1
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.64/2 s
Edition number 19
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Colloquium on Trees in Algebra and Programming
Number of part/section/meeting (10th :
Date of meeting 1985 :
Location of meeting Berlin, Germany)
9 (RLIN) 37400
245 10 - TITLE STATEMENT
Title Mathematical foundations of software development /
Statement of responsibility, etc. Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig [and others].
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 ©1985.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiii, 418 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 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ;
Volume/sequential designation v. 1
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 185
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
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
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
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
611 20 - SUBJECT ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Joint Conference on Theory and Practice of Software Development
Date of meeting (1985 :
Location of meeting Berlin, Germany).
Title of a work Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Mar. 25-29, 1985
Form subdivision v. 1.
9 (RLIN) 37401
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Development
-- Mathematics
Form subdivision Congresses.
9 (RLIN) 37402
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Trees (Graph theory)
Form subdivision Congresses.
9 (RLIN) 37403
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
Form subdivision Congresses.
9 (RLIN) 8408
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Form subdivision Congresses.
9 (RLIN) 37404
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra.
Source of heading or term fast
Authority record control number (OCoLC)fst00804885
9 (RLIN) 3817
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming.
Source of heading or term fast
Authority record control number (OCoLC)fst00872390
9 (RLIN) 3021
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Trees (Graph theory)
Source of heading or term fast
Authority record control number (OCoLC)fst01156136
9 (RLIN) 3338
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
9 (RLIN) 6065
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ehrig, Hartmut.
9 (RLIN) 6875
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Colloquium on Trees in Algebra and Programming (10th : 1985 : Berlin, Germany).
Title Mathematical foundations of software development.
Place, publisher, and date of publication Berlin ; New York : Springer-Verlag, ©1985
Record control number (DLC) 85004720
-- (OCoLC)11814027
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 185.
9 (RLIN) 37405
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-15198-2">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-15198-2</a>
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha