Software specification methods
By: edited by Henri Habrias, Marc Frappier.
Contributors: Habrias, Henri.; Frappier, Marc, 1965-
Edition: 2nd ed.
Publisher: ISTE Ltd
Published: 2006
Place of publication: London; Newport Beach, CA
Language: eng
Number of pages: 418
ISBN-13: 9781905209347
Subjects: Formal methods (Computer science); Computer software -- Specifications.
Genres: Specifications.
Notes: Includes bibliographical references and index.