Specification of Software Systems (книга)
Specification of Software Systems | |
Автор: | Vangalur S. Alagar K. Periyasamy |
---|---|
Оригинал издан: | ???? |
«Specification of Software Systems» — книга ???? года.
Содержание[убрать] |
Содержание 
От издателя 
«This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may their first encounter with formal…»