Modern formal methods and applications /

Bibliographic Details
Format:	Book
Language:	English
Published:	Dordrecht : Springer, 2006.
Subjects:	Formal methods (Computer science) Formal methods (Computer science) > Industrial applications.

Description
Physical Description:	xxiii, 197 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	1402042221 (hbk.) 140204223X (e-book)