Прикладные методы верификации программ / В.А. Непомнящий, О.М. Рякин ; Под ред. А.П. Ершова.
Նյութի տեսակ։ ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Москва : Радио и связь, 1988.Նկարագրություն։ 256 с. : илISBN:- 5-256-00156-6
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ |
---|---|---|---|---|---|---|---|
Books | National Polytechnic University Library General Stacks | Radio Engineering and Communication Fundamentals chair | 681.3.06 Н-53 (Դիտման դարակ(Բացվում է ներքևում)) | Դուրս տրված | Faculty Loan | 31.12.2018 | EU0316366 |