Formal methods applied to complex systems : implementation of the B Method - Boulanger, Jean-Louis (London : ISTE ; Hoboken, NJ : Wiley, 2014)
Includes bibliographical references and index.
Print version record.
Keywords: B method (Computer science); Formal methods (Computer science); COMPUTERS -- Software Development & Engineering -- General; B method (Computer science); Formal methods (Computer science); Electronic books