The Use of Formal Specification of Software / (Գրառման հմ. 381925)
[ դիտիր պարզ ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00723nam a2200229 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 000447378 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | AM-YeNLA |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190426122855.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 050610s1980 ||||||||||||||||||||ger d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3-540-10442-9 (New York) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0-387-10442-9 (Berlin) |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | ger |
| 245 00 - TITLE STATEMENT | |
| Title | The Use of Formal Specification of Software / |
| Statement of responsibility, etc. | Edt. by H.K. Berg, W.K. Giloi. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Berlin : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | 1980. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 194 p. |
| Other physical details | ill. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Informatik-Fachberichte |
| Number of part/section of a work | 36 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Literatur |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | The Use of Formal Specification of Software |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Berg, H.K. |
| Relator code | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Giloi, W.K. |
| Relator code | edt |
| 711 2# - ADDED ENTRY--MEETING NAME | |
| Meeting name or jurisdiction name as entry element | Gesellschaft fur Informatik (GI) |
| Date of meeting | (June 25-27, 1979 ; |
| Location of meeting | Berlin ) |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Արտասահմանյան գրականության ընթերցասրահ | Engineering University Library | Engineering University Library | 06/05/2017 | 4500.00 | 001.6 I-60 | EU0050097 | 06/05/2017 | 06/05/2017 | Book | Three Hour Loan |