Прикладные методы верификации программ / (Գրառման հմ. 125074)
[ դիտիր պարզ ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00789nam a2200217 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 000154007 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | AM-YeNLA |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230719142245.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 000320s1988 ru ||||fr|||||000|||rus|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 5-256-00156-6 |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | rus |
| 041 0# - 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. | 1988. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 256 с. : |
| Other physical details | ил. ; |
| Dimensions | 21 см. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | ЭВМ вообще |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Рякин, Олег Михайлович |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ершова, А.П. |
| Relator term | ред. |
| Relator code | edt |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Universal Decimal Classification |
| Koha item type | Book |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Price effective from | Non-public note | Koha item type | Public note | Total Checkouts | Source of classification or shelving scheme | Inventory number |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Ռադիոտեխնիկայի և կապի հիմունքների ամբիոն | Engineering University Library | Engineering University Library | 04/05/2017 | 681.3.06 Н-53 | EU0316366 | 04/05/2017 | 04/05/2017 | Scientific | Book | ||||||||
| General | Fundamental Scientific Library | Fundamental Scientific Library | 04/05/2017 | Р2/597711 | 120597711 | 04/05/2017 | 04/05/2017 | Book | |||||||||
| Depository | National Library of Armenia | National Library of Armenia | 19/07/2023 | 681.3 / Н-535 | NL1978834 | 19/07/2023 | 19/07/2023 | Book | Սպասարկվում է 30 օրով | Universal Decimal Classification | 15151-89 | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 04/05/2017 | 681.142 Н-535 | 250129333A | 04/05/2017 | 04/05/2017 | Educational | Book | Term Loan |