Доказательство правильности программ / (Գրառման հմ. 7700)

ՄԵԸՔ մանրամասներ
000 -LEADER
fixed length control field 00990-am-a2200205-a-4500
001 - CONTROL NUMBER
control field 000087169
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240731084436.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Terms of availability 00.60
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title rus
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 см.
500 ## - GENERAL NOTE
General note ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982
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 пер.
Relator code trl
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Подшивалов, Д.Б.
Relator term ред.
Relator code edt
Պահումներ
Damaged status Not for loan Home library Current library Full call number Barcode Koha item type Public note
    National Polytechnic University Library National Polytechnic University Library 681.3 А-65 EU0458364 Books 30 Days Loan
    National Polytechnic University Library National Polytechnic University Library 681.3 А-65 EU0458369 Books 30 Days Loan
    National Polytechnic University Library National Polytechnic University Library 681.3 А-65 EU0458370 Books 30 Days Loan
    National Polytechnic University Library National Polytechnic University Library 681.3 А-65 EU0458371 Books 30 Days Loan

Ուղեկցվում է Կոհա