Program construction and verification. by Roland C Backhouse
Material type: BookSeries: Prentice Hall international series in computer science ; Publication details: Englewood Cliffs Prentice Hall 1986Description: xi, 281pISBN:- 0137291469
- 005.1 N8612
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 005.1 N8612 (Browse shelf(Opens below)) | Available | 137258 |
There are no comments on this title.