Նորմալ դիտում MARC դիտում ISBD Դիտում

Доказательство правильности программ / Р. Андерсон ; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова.

Կողմից։ Աջակցող(ներ)։ Նյութի տեսակ։ ՏեքստՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Москва : Мир, 1982.Նկարագրություն։ 163 с. ; 20 смԽորագրեր։
Պահումներ
Նյութի տեսակ Ընթացիկ գրադարան Հավաքածու Դարակային համար Վիճակ Նշումներ Վերադարձի ամսաթիվ Շտրիխ կոդ
Books Books National Polytechnic University Library General Stacks Scientific Literature Depository 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) Հասանելի 30 Days Loan EU0458364
Books Books National Polytechnic University Library General Stacks Scientific Literature Depository 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) Հասանելի 30 Days Loan EU0458369
Books Books National Polytechnic University Library General Stacks Scientific Literature Depository 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) Հասանելի 30 Days Loan EU0458370
Books Books National Polytechnic University Library General Stacks Scientific Literature Depository 681.3 А-65 (Դիտման դարակ(Բացվում է ներքևում)) Հասանելի 30 Days Loan EU0458371

ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982

Оригинал на англ. : Proving Pprograms Correct / Robert B. Anderson - New York : 1979

Ուղեկցվում է Կոհա