North South University Library OPAC
Image from Amazon.com
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 | 1 | 33297 |
Browsing North South University Library shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| QA76.889. 2008 Quantum computing & nanotechnology / | QA76.889. 2008 Quantum computing & nanotechnology / | QA76.9.A73P377 1990 Computer architecture : | QA76.9.F67 2010 Formal methods and software engineering : | QA76.9.S88T4 1986 Instructor's guide to accompany structured analysis methods for computer information systems / | QA246.M35 2010 Wandering in the world of smarandache numbers / | QA273.25.L57 1974 Schaum's outline of theory and problems of probability / |
There are no comments on this title.
Log in to your account to post a comment.