Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. proceedings / edited by Jin Song Dong and Huibiao Zhu
Material type: TextLanguage: English Series: Publication details: New York : Springer, c2010.Description: xiv, 709 p. : ill. ; 23 cmISBN:- 9783642169007
- QA76.9 .F67 2010
Item type | Current library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
Books | North South University Library | Reference | Reference Section | QA76.9.F67 2010 (Browse shelf(Opens below)) | 1 | Not for loan | 33297 |
There are no comments on this title.
Log in to your account to post a comment.