Generating correct programs from logic specifications by Ruth E. Davis.
Material type: BookPublication details: Santa Cruz University of California 1979Description: 193pSubject(s): DDC classification:- 001.6424 N7915
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 001.6424 N7915 (Browse shelf(Opens below)) | Available | 139750 |
There are no comments on this title.