Formal Software Development : from VDM to Java / Quentin Charatan and Aaron Kans.
Material type:
TextPublication details: Basingstoke : Palgrave Macmillan, 2004.Description: xi, 239 p. : ill. ; 25 cmISBN: - 0333992814 (pbk.) :
- 005.1 22 CHA
| 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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book - Borrowing
|
Central Library Lower Floor | Baccah | 005.1 CHA (Browse shelf(Opens below)) | Available | 000029102 | |||||||||||||
|
Book - Borrowing
|
Central Library Lower Floor | Baccah | 005.1 CHA (Browse shelf(Opens below)) | Available | 000029103 | |||||||||||||
NB - Book (Non borrowing)
|
Central Library Lower Floor | Baccah | 005.1 CHA (Browse shelf(Opens below)) | 3 | Not for loan | 000027448 | ||||||||||||
|
Book - Borrowing
|
Central Library Lower Floor | Baccah | 005.1 CHA (Browse shelf(Opens below)) | 3 | Available | 000027449 | ||||||||||||
|
Book - Borrowing
|
Central Library Lower Floor | Baccah | 005.1 CHA (Browse shelf(Opens below)) | 3 | Available | 000027450 |
Total holds: 0
Browsing Central Library shelves,Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.1 BRU Object-oriented software engineering : | 005.1 BRU Object-oriented software engineering : | 005.1 CAS Fundamentals of Natural Computing : | 005.1 CHA Formal Software Development : | 005.1 CHA Formal Software Development : | 005.1 CHA Formal Software Development : | 005.1 CHA Formal Software Development : |
Includes index.
Formerly CIP. Uk
There are no comments on this title.
Log in to your account to post a comment.