Normal view MARC view ISBD view

Автоматизированные методы спецификации = Computer-Aided Specification Techniques : Пер. с англ. / Я. Деметрович, Э. Кнут, П. Радо ; Пер. Л.В. Шабанова ; Под ред. Ю.Г. Дадаева.

By:

Деметрович, Янош

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Publication details: Москва : Мир, 1989.Description: 115 с. ; 22 смISBN:

5030004874

Subject(s):

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes
Գրքեր / Books	Fundamental Scientific Library	General	PII/598760 (Browse shelf(Opens below))	Available	30 Days Loan

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

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

There are no comments on this title.

to post a comment.