Description: Formal specification:

Main Author:	Nissanke, Nimal
Format:	Book
Language:	English
Published:	London ; New York: Springer , c1999
Subjects:	Formal methods (Computer science) Application software > Development

Physical Description:	xvii, 295 p. : ill. ; 23 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	1852330023