Software specification methods
Subtitle: an overview using a case study
By: Marc Frappier and Henri Habrias (eds.).
Contributors: Frappier, Marc, 1965-; Habrias, Henri.
Series: Formal approaches to computing and information technology
Publisher: Springer
Published: 2001
Place of publication: London; New York
Language: eng
Number of pages: 282
Subjects: Formal methods (Computer science); Computer software -- Specifications.
Notes: Includes bibliographical references and index.