Programming from specifications / Carroll Morgan.
Material type: TextSeries: Prentice-Hall international series in computer sciencePublication details: New York : Prentice Hall, 1994.Edition: 2nd edDescription: xv, 332 p. : ill. ; 24 cmISBN:- 0131232746
- 9780131232747:
- 005.131
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library General Lending | 005.131 (Browse shelf(Opens below)) | 1 | Available | 27538 |
Browsing Carlow Campus Library shelves, Shelving location: General Lending Close shelf browser (Hides shelf browser)
005.13 Concepts of programming languages / | 005.13 Understanding programming languages / | 005.131 Software engineering mathematics : formal methods demystified / | 005.131 Programming from specifications / | 005.131 Essence of logic / | 005.131 Essence of logic / | 005.131 Understanding formal methods / |
Includes bibliographical references (p. 315-317) and index.
19.95