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: - 0137291469
- 005 BAC 1986
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005 BAC 1986 (Browse shelf(Opens below)) | Available | 00002058 | ||
|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005 BAC 1986 (Browse shelf(Opens below)) | Available | 00002057 |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Open Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.716 SMI 2000 PC peripheral devices / | 004.77 AXE 1996 Parallel port complete : | 005.4469 CAN Simply AIX / | 005 BAC 1986 Program construction and verification / | 005 BAC 1986 Program construction and verification / | 005.1 ALG 2004 Algorithms / | 005.1 AUE 2002 Extreme programming applied : |
Includes index.
Bibliography: p. 220-223.