Software specification methods
Edition statement:2nd ed. Published by : ISTE Ltd, (London ; | Newport Beach, CA :) Physical details: xxv, 418 p. : ill.
Subject(s):
Formal methods (Computer science)
|
Computer software
--
Specifications.
|
Electronic books.
Year: 2006
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10360912
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
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.
There are no comments on this title.