Բեռնվում է…
Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. /
[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могу...
Պահպանված է:
Հիմնական հեղինակ: | Деметрович, Янош |
---|---|
Այլ հեղինակներ: | Кнут, Элод, Радо, Петер, Шабанов, Л.В (Թարգմանիչ, пер.), Дадаев, Ю.Г (Խմբագիր, ред.) |
Ձևաչափ: | Գիրք |
Լեզու: | Russian English |
Հրապարակվել է: |
Москва :
Мир,
1989.
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Использование абстракций и спецификаций при разработке программ /
: Лисков, Барбара
Հրապարակվել է: (1989) -
Иностранные спецификации нефтепродуктов /
: Николаев, Сергей Георгиевич
Հրապարակվել է: (1948) -
Ventura Publisher 2.0 : Практ. пособие /
: Дей, Артут Колин
Հրապարակվել է: (1992) -
Всесоюзная научно-техническая конференция "Программное обеспечение АСУ" : Тезисы докладов.
Հրապարակվել է: (1983) -
Вопросы проектирования программного обеспечения систем управления /
Հրապարակվել է: (1977)