Formal methods applied to industrial complex systems /

• Άλλοι συγγραφείς: Boulanger, Jean-Louis (Επιμελητής έκδοσης)
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014.
• Σειρά: Computer engineering series (London, England)
• Θέματα: Formal methods (Computer science); Industrial management > Mathematical models.; TECHNOLOGY & ENGINEERING > Engineering (General); TECHNOLOGY & ENGINEERING > Reference.; Electronic books.
• Φυσική περιγραφή: 1 online resource.
• Βιβλιογραφία: Includes bibliographical references and index.
• ISBN: 9781119004707; 1119004705; 9781119004844; 1119004845
• DOI: 10.1002/9781119004707