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.