02330cam a2200589Ii 4500 ocn886654279 OCoLC 20171026114606.0 m o d cr cnu|||unuuu 140813s2014 enk ob 001 0 eng d 9781119004707 (electronic bk.) 1119004705 (electronic bk.) 9781119004844 (electronic bk.) 1119004845 (electronic bk.) 9781848216327 1848216327 10.1002/9781119004707 doi NZ1 15753504 NZ1 15907015 CHVBK 334084423 CHBIS 010442129 DEBBG BV043397037 (OCoLC)886654279 (OCoLC)889347146 DG1 eng rda pn DG1 N$T YDXCP OCLCQ RECBK OCLCF DEBBG MAIN QA76.9.F67 TEC 009000 bisacsh TEC 035000 bisacsh 004.01/51 23 Formal methods applied to industrial complex systems / edited by Jean-Louis Boulanger. [electronic resource] London : ISTE, Ltd. ; Hoboken, NJ : Wiley, 2014. 1 online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier Computer engineering series Includes bibliographical references and index. Online resource; title from PDF title page (Wiley, viewed Aug. 13, 2014). Formal methods (Computer science) Industrial management Mathematical models. TECHNOLOGY & ENGINEERING Engineering (General) bisacsh TECHNOLOGY & ENGINEERING Reference. bisacsh Formal methods (Computer science) fast (OCoLC)fst00932926 Industrial management Mathematical models. fast (OCoLC)fst00971310 Electronic books. Boulanger, Jean-Louis, editor. Print version: Formal methods applied to industrial complex systems 9781848216327 (DLC) 2014936487 (OCoLC)887892541 Computer engineering series (London, England) http://onlinelibrary.wiley.com/book/10.1002/9781119004707 Wiley Online Library ddc BK 207611 207611