Formal methods applied to complex systems : implementation of the B Method /

• Other Authors: Boulanger, Jean-Louis (Editor)
• Format: eBook
• Language: English
• Published: London : Hoboken, NJ : ISTE ; Wiley, 2014.
• Series: Computer engineering series (London, England)
• Subjects: B method (Computer science); Formal methods (Computer science); COMPUTERS > Software Development & Engineering > General.; Electronic books.
• Physical Description: 1 online resource.
• Bibliography: Includes bibliographical references and index.
• ISBN: 9781119002680; 1119002680; 9781119002727; 1119002729
• DOI: 10.1002/9781119002727