Program construction and verification
By: Backhouse, Roland Carl.
Material type:
BookPublisher: Englewood Cliffs, N.J. : Prentice/Hall International, 1986Description: 281.ISBN: 0137291469.Call No.:
QA76.7
B324P
Subject(s): ELECTRONIC DIGITAL COMPUTERS -- PROGRAMMING
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| Main Campus Book Shelves | QA76.7 B324P (Browse shelf) | Available | 120920010001 |
Browsing Main Campus Shelves , Shelving location: Book Shelves Close shelf browser
| QA76.7 ป931 Programming super tips : | QA76.7 ส826ค คอมพิวเตอร์ ภาษาเครื่องและเอส พี เอส | QA76.7 A44N 1995 Natural language understanding | QA76.7 B324P Program construction and verification | QA76.7 B34P Programming language essentials | QA76.7 C467F Fourth and fifth generation programming languages, Vol.1 : integrated software, database languages, and expert systems | QA76.7 D477P Programming languages : structures and models |
There are no comments for this item.