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…»