Прикладные методы верификации программ / В.А. Непомнящий, О.М. Рякин ; Под ред. А.П. Ершова.

Կողմից։

Աջակցող(ներ)։

Նյութի տեսակ։

ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Москва : Радио и связь, 1988.Նկարագրություն։ 256 с. : ил. ; 21 смISBN:

Խորագրեր։

Ցուցիչներ այս գրադարանից: Չկան ցուցիչներ այս գրադարանի այս վերնագրի համար. Մուտք գործիր ցուցիչներ ավելացնելու համար.

Պահումներ
Նյութի տեսակ	Ընթացիկ գրադարան	Հավաքածու	Դարակային համար	Վիճակ	Նշումներ	Շտրիխ կոդ
Book	Engineering University Library	Ռադիոտեխնիկայի և կապի հիմունքների ամբիոն	681.3.06 Н-53 (Դիտման դարակ(Բացվում է ներքևում))	Հասանելի	Faculty Loan	EU0316366
Book	Fundamental Scientific Library	General	Р2/597711 (Դիտման դարակ(Բացվում է ներքևում))	Հասանելի	25 Days Loan	120597711
Book	National Library of Armenia	Depository	681.3 / Н-535 (Դիտման դարակ(Բացվում է ներքևում))	Հասանելի	Մեկ ամիս	NL1978834
Book	Yerevan State University Library	Depository	681.142 Н-535 (Դիտման դարակ(Բացվում է ներքևում))	Հասանելի	Term Loan	250129333A

Այս վերնագրի համար չկան մեկնաբանություններ։

ուղարկել մեկնաբանություն։