Programming with specifications : an introduction to ANNA, a language for specifying Ada programs by David Lucknow.
Material type: BookSeries: Texts and Monographs in Computer Science ; Publication details: New York Springer-Verlag 1990Description: xvi,416pISBN:- 0387972544
- 005.1330218 N90
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 005.1330218 N90 (Browse shelf(Opens below)) | Available | 148554 |
There are no comments on this title.