Прикладные методы верификации программ / (Գրառման հմ. 16438)
[ դիտիր պարզ ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00752nam a2200193 u 4500 |
| 001 - CONTROL NUMBER | |
| control field | 000154007 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240731093809.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 000320s1988 ||||||||||||||||||||rus d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 5-256-00156-6 |
| 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. | 1988. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 256 с. : |
| Other physical details | ил. |
| 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 |
| Damaged status | Not for loan | Home library | Current library | Full call number | Barcode | Checked out | Date last checked out | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|
| National Polytechnic University Library | National Polytechnic University Library | 681.3.06 Н-53 | EU0316366 | 31.12.2018 | 04.07.2017 | Books | Faculty Loan |