Image from Amazon.com
Program construction and verification / Roland C. Backhouse.
Material type:
TextPublication details: Englewood Cliffs, N.J. : Prentice-Hall International, c1986.Description: xi, 281 p. : ill. ; 24 cmISBN: - 0137291531 :
- 0137291469 (pbk.)
- 005 19
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220961 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001221167 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001221168 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220759 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220843 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220597 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220598 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220599 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220600 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220601 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220602 | |
|
Books - Open Access
|
College of Computing and Information Science - COCIS | 005 BAC (Browse shelf(Opens below)) | Available | 001220603 |
Includes index.
Bibliography: p. 220-223.
There are no comments on this title.
Log in to your account to post a comment.