An edition of Specification of software systems
(1998)
Specification of software systems
by Vangalur S. Alagar
- 1 Want to read
Share
×Close
This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The book can also be used as a text for a one-semester course on formal methods at the senior undergraduate level. 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.
Check nearby libraries
Buy this book
Subjects
Specifications, Software engineering, Computer software| Edition | Availability |
|---|---|
1
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| July 14, 2024 | Edited by MARC Bot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 1, 2010 | Edited by WorkBot | add more information to works |
| December 9, 2009 | Created by WorkBot | add works page |