Specification of Software Systems / by V.S. Alagar, K. Periyasamy.

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 be their first encounter with formal specification. It is based on graduate courses a...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Alagar, V. S.
Other Authors:	Periyasamy, K.
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1998.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Software engineering. Logic design.