01251nam a2200265 a 4500 vtls000015373 KUKTEM 20251117144147.0 060821t e 001 0 eng d 3540297979 201107131838 VLOAD 200908141230 VLOAD 200908141202 VLOAD 200908131633 VLOAD 200608211515 dilla UMP QA76.9 .F67 I58 2005 International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England) Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / edited by Kung-Kiu Lau, Richard Banach Berlin : Springer, 2005 496 p. : ill. ; 24 cm Lecture notes in computer science Formal methods (Computer science) Congresses Software engineering Congresses Lau, Kung-Kiu Banach, Richard http://www.springerlink.com/openurl.asp?genre=issue & issn=0302-9743&volume=3785 Connect to resource online 0 0 lcc 0 0 20000 20000 2019-09-04 466.10 0 QA76.9 .F67 I58 2005 0000017601 2019-09-04 00:00:00 1 466.10 2019-09-04 OPEN VIRTUA40 30593 30599 VTLSSORT0080*0200*0900*1110*2450*2600*3000*4400*6500*6501*7000*7001*8560*9991