სრული კატალოგი [10546]
დასახელება
ალგორითმებისა და პროგრამების ვერიფიკაციის კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდით
შტრიხკოდი
dis6
კლასიფიკატორი
51(007)
მდებარეობა
ბ 48
ავტორი
ბენიძე,ნანა
კატეგორია
ინფორმატიკა
ნომერი
9762
ქვესათაური
სადისერტაციო ნაშრომი
ნუსხაზე დაბრუნება
pluteus librorum Powered By Kakhaber Revazishvili