Normal view MARC view ISBD view

Доказательство правильности программ / (Record no. 27536)

MARC details
000 -LEADER
fixed length control field	00916-am-a2200229-a-4500
001 - CONTROL NUMBER
control field	000087169
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YEHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20250617121959.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	970708s1982 ru \|\|\|\|\| \|\|\|\| 00\| 0 rus d
040 ## - CATALOGING SOURCE
Original cataloging agency	AM-YeHGA
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title	rus
Language code of original	eng
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
--	27882
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Андерсон, Роберт
245 10 - TITLE STATEMENT
Title	Доказательство правильности программ /
Statement of responsibility, etc.	Р. Андерсон; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Москва :
Name of publisher, distributor, etc.	Мир,
Date of publication, distribution, etc.	1982.
300 ## - PHYSICAL DESCRIPTION
Extent	163 с. ;
Dimensions	20 см.
534 ## - ORIGINAL VERSION NOTE
Introductory phrase	Оригинал на англ. :
Title statement of original	Proving Pprograms Correct /
Main entry of original	Robert B. Anderson -
Publication, distribution, etc. of original	New York : 1979
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Цифровые вычислительные машины
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Зобнина, Б.Н.
Relator term	пер.
Relationship	trl
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Подшивалов, Д.Б.
Relator term	ред.
Relationship	edt
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Universal Decimal Classification
Koha item type	Գրքեր / Books

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection	Home library	Current library	Date acquired	Total checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type	Public note
		Universal Decimal Classification			General	Fundamental Scientific Library	Fundamental Scientific Library	21/12/2016		PII/479870	FL0284641	21/12/2016	21/12/2016	Գրքեր / Books	30 Days Loan
		Universal Decimal Classification			General	Fundamental Scientific Library	Fundamental Scientific Library	21/12/2016		PII/481457	FL0281498	21/12/2016	21/12/2016	Գրքեր / Books	30 Days Loan