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.
• Φυσική περιγραφή: 1 online resource.
• Βιβλιογραφία: Includes bibliographical references and index.
• ISBN: 9781119002680; 1119002680; 9781119002727; 1119002729
• DOI: 10.1002/9781119002727