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.