Formal methods applied to industrial complex systems /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Boulanger, Jean-Louis (Επιμελητής έκδοσης)
Μορφή: Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014.
Σειρά:Computer engineering series (London, England)
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 02292nam a2200589 4500
001 ocn886654279
003 OCoLC
005 20170124070203.6
006 m o d
007 cr cnu|||unuuu
008 140813s2014 enk ob 001 0 eng d
040 |a DG1  |b eng  |e rda  |e pn  |c DG1  |d N$T  |d YDXCP  |d OCLCQ  |d RECBK  |d OCLCF  |d DEBBG  |d GrThAP 
019 |a 889347146 
020 |a 9781119004707  |q (electronic bk.) 
020 |a 1119004705  |q (electronic bk.) 
020 |a 9781119004844  |q (electronic bk.) 
020 |a 1119004845  |q (electronic bk.) 
020 |z 9781848216327 
020 |z 1848216327 
024 7 |a 10.1002/9781119004707  |2 doi 
029 1 |a NZ1  |b 15753504 
029 1 |a NZ1  |b 15907015 
029 1 |a CHVBK  |b 334084423 
029 1 |a CHBIS  |b 010442129 
029 1 |a DEBBG  |b BV043397037 
035 |a (OCoLC)886654279  |z (OCoLC)889347146 
050 4 |a QA76.9.F67 
072 7 |a TEC  |x 009000  |2 bisacsh 
072 7 |a TEC  |x 035000  |2 bisacsh 
082 0 4 |a 004.01/51  |2 23 
049 |a MAIN 
245 0 0 |a Formal methods applied to industrial complex systems /  |c edited by Jean-Louis Boulanger. 
264 1 |a London :  |b ISTE, Ltd. ;  |a Hoboken, NJ :  |b Wiley,  |c 2014. 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Computer engineering series 
504 |a Includes bibliographical references and index. 
588 0 |a Online resource; title from PDF title page (Wiley, viewed Aug. 13, 2014). 
650 0 |a Formal methods (Computer science) 
650 0 |a Industrial management  |x Mathematical models. 
650 7 |a TECHNOLOGY & ENGINEERING  |x Engineering (General)  |2 bisacsh 
650 7 |a TECHNOLOGY & ENGINEERING  |x Reference.  |2 bisacsh 
650 7 |a Formal methods (Computer science)  |2 fast  |0 (OCoLC)fst00932926 
650 7 |a Industrial management  |x Mathematical models.  |2 fast  |0 (OCoLC)fst00971310 
655 4 |a Electronic books. 
700 1 |a Boulanger, Jean-Louis,  |e editor. 
776 0 8 |i Print version:  |t Formal methods applied to industrial complex systems  |z 9781848216327  |w (DLC) 2014936487  |w (OCoLC)887892541 
830 0 |a Computer engineering series (London, England) 
856 4 0 |u https://doi.org/10.1002/9781119004707  |z Full Text via HEAL-Link 
994 |a 92  |b DG1