Software specification methods - Habrias, Henri; Frappier, Marc, 1965-; Safari eBooks (London ; Newport Beach, CA : ISTE Ltd., 2006)
Description based on online resource; title from title page (viewed June 19, 20130.
Includes bibliographical references and index.
Keywords: Formal methods (Computer science); Computer software -- Specifications; Electronic books