Software specification methods /
edited by Henri Habrias, Marc Frappier.
- 2nd ed.
- London : ISTE Ltd, 2006.
- xxv, 418 p. : ill. ; 25 cm.
Includes bibliographical references and index.
1905209347 9781905209347
Formal methods (Computer science)
Computer software--Specifications.
QA76.9.F67 / S64 2006
004.0151 / S681