00824nac a2200229 a 4500 BD-DhGUBL 20251223144039.0 250903s2012 njua|||| |||| 001 0 eng d 9781848213630 9781118561829 BD-DhGUBL BD-DhGUBL BD-DhGUBL 23 005.101 Boulange, Jean-Louis Industrial Use of Formal Methods : Formal Verification / Jean-Louis Boulange Hoboken, New Jersey : John Wiley & Sons, c 2012. 320 p. : ill. ; Includes bibliographical references and index. Computer simulation Systems engineering Data processing https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118561829?download=true Click here to download ddc EBK 5127 5127