Towards a formal description of Ada ed. by D Bjorner and O N Oest
Material type: BookSeries: Lecture notes in computer science ; Publication details: Berlin Springer-Verlag 1980Description: xii, 630pISBN:- 3540102833
- 005.133 N80
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 005.133 N80 (Browse shelf(Opens below)) | Available | 144084 |
There are no comments on this title.