Բեռնվում է…
Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. /
[ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могу...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , , , |
| Ձևաչափ: | Գիրք |
| Լեզու: | Russian English |
| Հրապարակվել է: |
Москва :
Мир,
1989.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 02107nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | 000055282 | ||
| 003 | AM-YEHGA | ||
| 005 | 20240826192544.0 | ||
| 008 | 950417s1989 ||| |||||||||||||rus d | ||
| 020 | |a 5030004874 | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 041 | 1 | |a rus |h eng | |
| 100 | 1 | |a Деметрович, Янош | |
| 245 | 1 | 0 | |a Автоматизированные методы спецификации = |b Computer-Aided Specification Techniques : Пер. с англ. / |c Я. Деметрович, Э. Кнут, П. Радо ; Пер. Л.В. Шабанова ; Под ред. Ю.Г. Дадаева. |
| 260 | |a Москва : |b Мир, |c 1989. | ||
| 300 | |a 115 с. ; |c 22 см. | ||
| 504 | |a Библиогр.: с. 112-115 (76 назв.) | ||
| 520 | 3 | |a [ В книге описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне ]. | |
| 650 | 1 | 4 | |a Вычислительные системы - Программы - Спецификация |
| 653 | 1 | |a Автоматизированные методы спецификации | |
| 653 | 1 | |a Двухуровневый структурный метод | |
| 653 | 1 | |a Концептуальный уровень | |
| 653 | 1 | |a Программное обеспечение | |
| 700 | 1 | |a Кнут, Элод | |
| 700 | 1 | |a Радо, Петер | |
| 700 | 1 | |a Шабанов, Л.В. |e пер. |4 trl | |
| 700 | 1 | |a Дадаев, Ю.Г. |e ред. |4 edt | |
| 942 | |c BK | ||
| 999 | |c 15753 | ||
| 952 | |o PII/598760 |p 120598760 | ||