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