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

Full description

Bibliographic Details

Main Author:	Alagar, Vangalur S., 1940-
Corporate Author:	SpringerLink (Online service)
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. Electronic books.
Online Access:	Connect to the full text of this electronic book