National Science Library of Georgia

Formalization of programming concepts : (Record no. 527170)

MARC details
000 -LEADER
fixed length control field 01659nam a22003617a 4500
001 - CONTROL NUMBER
control field 897764
003 - CONTROL NUMBER IDENTIFIER
control field Ge_NSL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200405202910.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 200225s1981 de ||||| |||| 00| 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 81005715
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387106995 (U.S. : pbk.)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .F66
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.42(063)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.64/2
Edition number 19
245 00 - TITLE STATEMENT
Title Formalization of programming concepts :
Remainder of title international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Statement of responsibility, etc edited by J. Díaz and I. Ramos.
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 1981.
300 ## - PHYSICAL DESCRIPTION
Extent vii, 478 p. :
Other physical details ill. ;
Dimensions 25 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science ;
Volume number/sequential designation 107
9 (RLIN) 151425
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographies and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
General subdivision Congresses.
9 (RLIN) 1729
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term საინფორმაციო ტექნოლოგიები
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term კომპიუტერული ტექნოლოგიები
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term პროგრამირება ელექტრონულ გამოთვლით მანქანებზე
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term კომპიუტერული პროგრამირება
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term კონგრესები
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Díaz, J.
Fuller form of name (Josep),
Dates associated with a name 1950-
Relator term რედაქტორი
9 (RLIN) 151426
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ramos, I.
Fuller form of name (Isidro),
Dates associated with a name 1943-
Relator term რედაქტორი
9 (RLIN) 151427
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Colloquium on the Formalization of Programming Concepts
Date of meeting (1981 :
Location of meeting Peñíscola, Spain)
9 (RLIN) 151428
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Universal Decimal Classification
Item type წიგნი
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
  შესამოწმებელია Universal Decimal Classification     ეროვნული სამეცნიერო ბიბლიოთეკა 1 ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. 25.02.2020   004.42(063) 2020-8392 25.02.2020 2E37255 25.02.2020 წიგნი
Copyright © 2023 Sciencelib.ge All rights reserved.