Formal methods and software engineering  14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /  [electronic resource] : 
Toshiaki Aoki, Kenji Taguchi (eds.). 
 - Berlin ;  New York :  Springer,  [2012] 
 - xiv,512p.:  ill.; 
 - Lecture notes in computer science,  7635.  0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering. .
 - LNCS sublibrary.  SL 2,  Programming and software engineering. .
<br/><br/>Includes bibliographical references and author index. 
<br/><br/><br/>Mode of access: World Wide Web. 
<br/><br/><label>ISBN: </label>9783642342806 (pbk. : alk. paper)  Ksh 5,120 
<br/><br/><label>ISSN: </label>03029743 
<br/><br/><label>LCCN: </label>2012949358 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses.<br/>Software engineering--Congresses.<br/>Computer software--Verification--Congresses.<br/>Computer software--Verification.<br/>Formal methods (Computer science)<br/>Software engineering.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA 76.9 .F67  / F6