00851nac a2200229 a 4500003001000000005001700010008004100027020001800068020001800086040003600104082001700140100002000157245011900177260005500296300002600351504005100377650001900428700003600447856011000483942001300593999001500606BD-DhGUBL20251126115710.0250825s20132012njua|||| |||| 001 0 eng d  a9780470876183  a9781118459898  aBD-DhGUBLcBD-DhGUBLdBD-DhGUBL  223a004.0151  aGnesi, Stefania  aFormal Methods for Industrial Critical Systems :bA Survey of Applications /cStefania Gnesi and Tiziana Margaria.  aHoboken, New Jersey :bJohn Wiley & Sons,cc 2013.  axix, 269 p. :bill. ;  aIncludes bibliographical references and index.  aFormal methods  aMargaria, TizianaeJoint author  uhttps://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118459898?download=trueyClick here to download  2ddccEBK  c5091d5091