libcats.org
Главная

The Vienna Development Method.. The Meta-Language

Обложка книги The Vienna Development Method.. The Meta-Language

The Vienna Development Method.. The Meta-Language

,
he Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory[1] in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL).
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: