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

• Άλλοι συγγραφείς: Boulanger, Jean-Louis (Επιμελητής έκδοσης)
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Hoboken, NJ : ISTE ; Wiley, 2014.
• Σειρά: Computer engineering series (London, England)
• Θέματα: B method (Computer science); Formal methods (Computer science); COMPUTERS > Software Development & Engineering > General.; Electronic books.