Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. /

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

Ամբողջական նկարագրություն

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Деметрович, Янош
Այլ հեղինակներ: Кнут, Элод, Радо, Петер, Шабанов, Л.В (Թարգմանիչ, пер.), Дадаев, Ю.Г (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
English
Հրապարակվել է: Москва : Мир, 1989.
Խորագրեր:
Вычислительные системы - Программы - Спецификация
Автоматизированные методы спецификации
Двухуровневый структурный метод
Концептуальный уровень
Программное обеспечение
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Fundamental Scientific Library: Unknown

Պահումների մանրամասները Fundamental Scientific Library: Unknown
Դասիչ: PII/598760
Պատճեն Unknown Հասանելի է  Տեղադրեք պահում

Նմանատիպ նյութեր