Автоматизированные методы спецификации = 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

Դիտման Scientific Technical Library դարակ, Հավաքածու։ Գրքային հավաքածու Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)

Նախորդ	Չկան հասանելի կազմերի պատկերներ		Չկան հասանելի կազմերի պատկերներ		Չկան հասանելի կազմերի պատկերներ		Չկան հասանելի կազմերի պատկերներ	Հաջորդը
Նախորդ	681.3 Г 97 От абака до компьютера /	681.3 Д 198 Программирование микропроцессора 8088 /	681.3 Д 255 Операционные системы : Функциональный подход /	681.3 Д 303 Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. /	681.3 Д 32 Программные средства создания и ведения баз данных /	681.3 Д 409 Программирование на языке си /	681.3 Е 222 Однородные вычислительные системы /	Հաջորդը

Библиогр.: с. 112-115 (76 назв.)

[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне ].

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

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

Տպել
Ավելացրու քո սայլակին (հեռացրու)
Հիշիր գրառումը
BIBTEX Դուբլինյան միջուկ ISBD MARC (ոչ-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Ստանդարտ)
Ավելի փնտրումներ

Որոնիր այս վերնագիրը ներսում՝
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)