Temporal logic of programs (Record no. 14113)

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 წიგნი
Holdings
ჩამოწერის სტატუსი დაკარგული ეგზემპლარის სტატუსი კლასიფიკაციის წყარო ან თაროზე გაწყობის სქემა დაზიანების სტატუსი არ გაიცემა მუდმივი მდებარეობა (დაცვის ადგილი) ამჟამინდელი ადგილსამყოფელი შეძენის თარიღი ინვენტარის ნომერი სრული შენახვის შიფრი შტრიხკოდი ბოლო ოპერაციის თარიღი ფასის ძალაში შესვლის თარიღი ეგზემპლარის სახეობა თაროზე განთავსების ადგილი
          ძირითადი ფონდი უცხოური ლიტერატურის სამკითხველო დარბაზი 2020-02-07 2200 681.1 K-84 2200 2020-02-07 2020-02-07 წიგნი უცხოური წიგნების სამკითხველო დარბაზი