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
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
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)
005.1 CHA Formal Software Development : | 005.1 CHA Formal Software Development : | 005.1 CHA Formal Software Development : | 005.1 CHA Formal Software Development : | 005.1 CHO Modern software engineering / | 005.1 CLE Clean code : | 005.1 COO Software engineering for real-time systems / |
Includes index.
Formerly CIP. Uk
There are no comments on this title.