Formal Engineering for Industrial Software Development (книга)
Formal Engineering for Industrial Software Development | |
Автор: | Shaoying Liu |
---|---|
Оригинал издан: | ???? |
«Formal Engineering for Industrial Software Development» — книга ???? года.
Содержание |
Содержание 
От издателя 
« This book gives a systemic and comprehensible introduction to SOFL (Structured Object-oriented Formal Language) as one of Formal Engineering Methods for software development. Formal engineering methods are a further development of formal…»