Cover Image

Formal specification : techniques and applications /

Show other versions (1)
Bibliographic Details
Main Author: Nissanke, Nimal
Format: Book
Language:English
Published: London ; New York : Springer, [1999]
Subjects:
Formal methods (Computer science)
Application software > Development.
Description
Physical Description:xvii, 295 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [289]-291) and index.
ISBN:1852330023 (alk. paper)