Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 6991Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.ISBN: - 9783642245596
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
|
National Library of India | Available | EBK000001959ENG |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.
