00971nam a2200277 a 4500 vtls000064280 KUKTEM 20251125093332.0 120928t2012 njuda f 001 0 eng d 9781848213630 201302181541 saini 201209280955 safura UMP TA168 .I53 2012 Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger Hoboken, NJ : Wiley, 2012 xv, 298 p. : ill. ; 24 cm. Includes bibliographical references and index Systems engineering Data processing Computer simulation Formal methods (Computer science) Nondestructive testing Computer software Verification Boulanger, Jean-Louis 0 0 0 0 10000 10000 2019-09-04 428.25 34 TA168 .I53 2012 0000070376 2021-10-01 00:00:00 2021-10-01 1 428.25 2019-09-04 OPEN VIRTUA40 63763 63769 VTLSSORT0080*0200*0400*0900*2450*2600*3000*5040*6500*6501*6502*6503*6504*7000*9992 34