02445cam a22004697i 4500 209680 209680 ssj0000788959 WaSeSS 20200720082842.0 m d cr n 120913t20122012gw a sb 101 0 eng d 2012949358 9783642342806 (pbk. : alk. paper) Ksh 5,120 03029743 L.C L.C QA 76.9 .F67 F6 International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan) 11138 Formal methods and software engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / Toshiaki Aoki, Kenji Taguchi (eds.). Berlin ; New York : Springer, [2012] xiv,512p.: ill.; Lecture notes in computer science, 0302-9743 ; 7635. LNCS sublibrary. SL 2, Programming and software engineering. Includes bibliographical references and author index. Mode of access: World Wide Web. Formal methods (Computer science) Congresses. 899 Software engineering Congresses. 11139 Computer software Verification Congresses. 11140 Computer software Verification. fast (OCoLC)fst00872604. 11141 Formal methods (Computer science) fast (OCoLC)fst00932926. 11142 Software engineering. fast (OCoLC)fst01124185. 9579 Electronic books. 3308 Aoki, Toshiaki. 11143 Taguchi, Kenji, 1956- 11144 LNCS sublibrary. SL 2, Programming and software engineering. 11145 WUSTL full text http://JE5QH2YG7P.search.serialssolutions.com/?V=1.0&L=JE5QH2YG7P&S=JCs&C=TC0000788959&T=marc lcc BK 0 0 lcc 0 0 CPL CPL GEN 2020-07-20 5120.00 0 QA 76.9 .F67 F6 2020/41088 2020-07-20 00:00:00 2020-07-20 BK