Modern formal methods and applications /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer, 2006.
Subjects:	Formal methods (Computer science) Formal methods (Computer science) > Industrial applications. Méthodes formelles (Informatique) Méthodes formelles (Informatique) > Applications industrielles. Electronic books.
Online Access:	Connect to the full text of this electronic book Contributor biographical information Publisher description

Description
Item Description:	Electronic resource.
Physical Description:	xxiii, 197 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	140204223X 9781402042232
DOI:	10.1007/1-4020-4223-X