00797nam a2200217 a 4500 vtls000015933 KUKTEM 20251117144159.0 061002 000 0 eng d 1402042221 201107131843 VLOAD 200908141236 VLOAD 200908141209 VLOAD 200908131637 VLOAD 200610021425 kam UMP QA76.9.F67 M63 2006 Modern formal methods and appilcations / edited by Hossam A. Gabbar Dordrecht : Springer, 2006 197 p. : ill. ; 25 cm. Formal methods (Computer science) Formal methods (Computer science) Industrial applications Gabbar, Hossam A. 0 0 lcc 0 0 10000 10000 2019-09-04 579.78 0 QA 76.9 .F67 M63 2006 | QA76.9.F67 M63 2006 0000017585 2019-09-04 00:00:00 1 579.78 2019-09-04 OPEN VIRTUA40 31002 31008 VTLSSORT0080*0200*0900*2450*2600*3000*6500*6501*7000*9991