Formal software development : from VDM to Java / Quentin Charlatan and Aaron Kaus.
Material type:
TextPublication details: Basingstoke, England : Palgrave Macmillan, 2004.Description: xii, 239 pISBN: - 0333992814 :
- QA76.76 .D47C43
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
General Collection
|
Kabarak, Main Campus | QA76.76 .D47C43 (Browse shelf(Opens below)) | Available | 003757 |
Browsing Kabarak, Main Campus shelves Close shelf browser (Hides shelf browser)
| QA76.76 .D4L36 2008 c. 1 Analysis and design of information systems. / | QA76.76 .D47B64 Mastering rational XDE / | QA76.76 .D47B73 Software design : | QA76.76 .D47C43 Formal software development : | QA76.76 D47F88 2002 c. 1 Quality software project management / | QA76.76 .D47F88 2002b c. 1 Quality software project management / | QA76.76 .D47H84 2002 Software project management / |
There are no comments on this title.
Log in to your account to post a comment.