An edition of Specification of software systems
(1998)
Specification of software systems
by Vangalur S. Alagar
- 0 Ratings
- 1 Want to read
- 0 Currently reading
- 0 Have 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 softwareShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 1, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 14, 2024 | Edited by MARC Bot | import existing book |
| November 28, 2020 | Edited by MARC Bot | import existing book |
| June 25, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |