Program Construction And Verification
Material type:
TextPublication details: LONDON prentice -hall of India pvt Ltd 1986Description: XI+281ISBN: 0-13-729146-9
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Engineering Book | MVJCE CENTRAL LIBRARY | Computer Science Engineering | 001.642 BAC (Browse shelf (Opens below)) | Available | 13989 |
Browsing MVJCE CENTRAL LIBRARY shelves, Collection: Computer Science Engineering Close shelf browser (Hides shelf browser)
| 001.642 4 BAN MATLAB and it is Applications in Engineering Based on MATLAB 7.5 (R2007b) | 001.642 5 ALT Mastering Pagemaker-4 : on the IBM-PC | 001.642 BAC Programming Construction and Verification | 001.642 BAC Program Construction And Verification | 001.642 KNT Art of Computer Programming : semi numerical algotithm | 001.6424 SIP Introduction to the Theory of Computation Iiternational Edition | 001.6424 SIP;1 Introduction to the Theory of Computation Iiternational Edition |
There are no comments on this title.