00869nam a2200241 a 4500003001000000005001700010008004100027020001800068020001800086040004700104082001900151245009200170260002900262300002800291504005100319650004100370650001900411650002500430700003400455856011000489942001300599999001500612BD-DhGUBL20260127135825.0251111s2014    enka          001 0 eng d  a9781848216327  a9781119004707  aBD-DhGUBLeBD-DhGUBLcBD-DhGUBLdBD-DhGUBL04223a620.00117100aFormal methods applied to industrial complex systems /cEdited by Jean-Louis Boulanger.  aLondon :bISTE,cc 2014.  axviii, 458 p. :bill. ;  aIncludes bibliographical references and index. 0aSystems engineeringxData processing 0aFormal methods 0aSoftware engineering  aBoulanger, Jean-LouiseEditor  uhttps://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119004707?download=trueyClick here to download  2ddccEBK  c5389d5389