PROGRAMMING WITH SPECIFICATIONS: AN INTRODUCTION TO ANNA, A LANGUAGE FOR SPECIFYING ADA PROGRAMS
Material type: TextLanguage: ENGLISH Publication details: SPRINGER- VERLANG; 1990Description: 416ISBN:- 0387972544
- 005.133
- DAV
Item type | Current library | Call number | Materials specified | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Book | Sri Krishna College of Engineering and Technology REF RACK 2 SHELF 33 | 005.133 (Browse shelf(Opens below)) | HARD BINDING | Available | CSE | 4761 |
There are no comments on this title.