Cover Image

Software specification methods : an overview using a case study /

Show other versions (1)
Bibliographic Details
Other Authors: Frappier, Marc, 1965-, Habrias, Henri
Format: Book
Language:English
Published: London ; New York : Springer, [2001]
Series:Formal approaches to computing and information technology.
Subjects:
Formal methods (Computer science)
Computer software > Specifications.
Description
Physical Description:xxiii, 282 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:1852333537 (pbk : alk. paper)
ISSN:1431-9683