Formal methods : industrial use from model to the code /

Bibliographic Details
Other Authors:	Boulanger, Jean-Louis
Format:	Book
Language:	English
Published:	London : Hoboken, N.J. : ISTE ; John Wiley & Sons, [2012]
Series:	Industrial implementation of formal methods series.
Subjects:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development.
Online Access:	Publisher description

Description
Physical Description:	xv, 357 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	9781848213623 (hbk.) 184821362X (hbk.)