Program development formal explanations of implementations by David S. Wile
Material type: BookPublication details: California USC/ISI 1982Description: iv, 44pSubject(s): DDC classification:- 001.6424 N8213
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 001.6424 N8213 (Browse shelf(Opens below)) | Available | 139758 |
There are no comments on this title.