Software specification methods
Software specification methods [electronic resource] /
edited by Henri Habrias, Marc Frappier.
- 2nd ed.
- London ; Newport Beach, CA : ISTE Ltd, 2006.
- xxv, 418 p. : ill.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Formal methods (Computer science)
Computer software--Specifications.
Electronic books.
QA76.9.F67 / S64 2006eb
004/.01/51
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Formal methods (Computer science)
Computer software--Specifications.
Electronic books.
QA76.9.F67 / S64 2006eb
004/.01/51