Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. / Я. Деметрович, Э. Кнут, П. Радо ; Пер. Л.В. Шабанова ; Под ред. Ю.Г. Дадаева.
Նյութի տեսակ։ ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Москва : Мир, 1989.Նկարագրություն։ 115 с. ; 22 смISBN:- 5-03-000487-4
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | Fundamental Scientific Library | General | Р2/598760 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 25 Days Loan | 120598760 | ||
Book | National Library of Armenia | Depository | 681.3 / Д-303 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Մեկ ամիս | NL1978526 | ||
Book | National Library of Armenia | Depository | 681.3 / Д-286 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Մեկ ամիս | NL1978528 | ||
Book | Scientific Technical Library | Գրքային հավաքածու | 681.3 Д 303 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Three Hour Loan | P-0018736 | ||
Book | Yerevan State University Library | Depository | 681.142 Д-303 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Term Loan | 2501282409 |
Библиогр.: с. 112-115 (76 назв.)
[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне ].
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։