Formal methods and software engineering Liu, Shaoying|Maibaum, Tom|Araki, Keijiro
Material type:
TextPublication details: New York,USA: Sharpe Professional, 2008Description: 396 pISBN: - 9783540881933
- T 005.7 FOR-
Books
| Current library | Call number | Status | Barcode | |
|---|---|---|---|---|
| UMT Main Campus | T 005.7 FOR- (Browse shelf(Opens below)) | Available | 94825 |
Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| T 005.276 DEI-J Java how to program : | T 005.276 DEI-J Java how to program | T 005.276 HOS-C Core Java : fundamentals / | T 005.7 FOR- Formal methods and software engineering | T 005.74 HAN-D Data mining / | T 005.74 LAR-A Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development / | T 005.74 LAR-A Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development / |
EN
There are no comments on this title.
Log in to your account to post a comment.