FORMAL DEVELOPMENT OF PROGRAMS AND PROOFS
Material type: TextLanguage: ENGLISH Publication details: ADDISON - WESLEY; 1990Description: 242ISBN:- 0201172372
- 005.1 DIJ N
- EDS
Item type | Current library | Call number | Materials specified | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Book | Sri Krishna College of Engineering and Technology RACK 2 / SHELF 70 | 005.1 DIJ N (Browse shelf(Opens below)) | Available | CSE | 6074 |
Browsing Sri Krishna College of Engineering and Technology shelves, Shelving location: RACK 2 / SHELF 70 Close shelf browser (Hides shelf browser)
005.1 2K23 KAN DOCKER UP & RUNNING : SHIPPING RELIABLE CONTAINERS IN PRODUCTION | 005.1 BAN COMPUTER SOFTWARE AND APPLICATIONS | 005.1 CHA PMI AGILE CERTIFIED PRACTITIONER : EXCEL WITH EASE | 005.1 DIJ N FORMAL DEVELOPMENT OF PROGRAMS AND PROOFS | 005.1 EDI ADVANCED RAILS | 005.1 FEN (MCA) SOFTWARE METRICS : A RIGOROUS AND PRACTICAL APPROACH | 005.1 GAL EFFECTIVE SOFTWARE CUSTOMER SUPPORT |
There are no comments on this title.