Доказательство правильности программ / (Գրառման հմ. 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 |