000 -ლიდერი |
ფიქსირებული სიგრძის საკონტროლო ველი |
00713nam a22002537a 4500 |
003 - საკონტროლო ნომრის იდენტიფიკატორი |
საკონტროლო ველი |
tsmu |
005 - ბოლო ოპერაციის თარიღი და დრო |
საკონტროლო ველი |
20220221134931.0 |
008 - ფიქსირებული სიგრძის მონაცემთა ელემენტები - ზოგადი ინფორმაცია |
ფიქსირებული სიგრძის საკონტროლო ველი |
200207b1987 -ge||||| |||| 00| 0 ger d |
020 ## - წიგნის საერთაშორისო სტანდარტული ნომერი |
International Standard Book Number |
0387170308 |
040 ## - კატალოგიზაციის წყარო |
Language of cataloging |
eng |
041 ## - ენის კოდი |
Language code of text/sound track or separate title |
eng |
050 ## - კონგრესის ბიბლიოთეკის შიფრი |
Classification number |
QA |
080 ## - უნივერსალური ათობითი კლასიფიკაციის ინდექსი |
Universal Decimal Classification number |
681.1 |
Item number |
K-84 |
100 ## - მთავარი ჩანაწერი - პიროვნების სახელი |
Personal name |
Kroger, Fred |
245 ## - ცნობა სათაურის შესახებ |
Title |
Temporal logic of programs |
Statement of responsibility, etc |
/ Kroger, Fred |
260 ## - გამოქვეყნების, გავრცელების, და სხვა. ცნობები |
Place of publication, distribution, etc |
Birmingham: |
Name of publisher, distributor, etc |
Springer-Verlag,, |
Date of publication, distribution, etc |
1987. |
300 ## - ფიზიკური მახასიათებლები |
Pages: |
146p. |
365 ## - სავაჭრო ფასი |
Price amount |
25.64gel. |
440 ## - სერიის ცნობა / დამატებულია ჩანაწერი - სათაური |
Title |
EATCS monographs on theoretical computer science |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
INFORMATION TECHNOLOGY |
9 (RLIN) |
1946 |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
საინფორმაციო ტექნოლოგია |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Kroger, Fred |
Relator term |
author |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Koha item type |
წიგნი |