Program construction and verification.
Material type:
TextSeries: (Prentice Hall International Series In Computer Science )Englewood Cliffs : Prentice Hall - International, 1986Description: xi, 281 pagesISBN: - 0137291469
| Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Chinhoyi University of Technology Libraries | Chinhoyi University of Technology Libraries | QA 76.754 BAC (Browse shelf(Opens below)) | 002589 | Available | BK0011269 | |
|
Books
|
Chinhoyi University of Technology Libraries | Chinhoyi University of Technology Libraries | QA 76.754 BAC (Browse shelf(Opens below)) | 002625 | Available | BK0010452 |
Browsing Chinhoyi University of Technology Libraries shelves Close shelf browser (Hides shelf browser)
| QA 76.73 U25 MCK The debugger's handbook : UCSD and Apple Pascal. | QA 76.73.V27 CHI VBScript in nutshell : a desktop quick reference / | QA 76.73 WAL Programming web graphics with PERL and GNU software / | QA 76.754 BAC Program construction and verification. | QA 76.754 BAC Program construction and verification. | QA 76.754 SHA Software architecture : perspectives on an emerging discipline. | QA 76.754 SHA Software architecture : perspectives on an emerging discipline. |
Includes index.
There are no comments on this title.