Program logics for certified compilers
By: Appel, A. W. Et.allà.
Material type: BookPublisher: New York Cambridge University Press 2014Description: ix, 458p.ISBN: 978-1-107-04801-0.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.14 APP (Browse shelf) | Available | 511672 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
005.14 AMM Introduction to Software Testing | 005.14 AMM Introduction to Software Testing | 005.14 AMM (CR) Introduction to Software Testing | 005.14 APP Program logics for certified compilers | 005.14 BEC Verification of object-oriented software: The KeY approach | 005.14 BEC Test driven development by example | 005.14 BEI Software testing techniques. 2nd. edition. |
There are no comments for this item.