Spine of software designing probably correct software : theory & practice or a mathematical int. to the semantics of computer programs by Robert Lawrence Baber
Material type: BookPublication details: Chichester Wiley 1987Description: xi, 316pISBN:- 0471914746
- 005.1 N8715
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 005.1 N8715 (Browse shelf(Opens below)) | Available | 140890 |
There are no comments on this title.