Image from Google Jackets
Image from OpenLibrary
Image from Baker & Taylor
Program construction and verification R.C Backhouse
Material type:
TextPublication details: Hempstead C.A.R Hoare 1986Description: xi, 281p, ;illISBN: - 0137291531
- QA76.6.B28 1986
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books
|
Main LIbrary | QA76.6.B28 1986 (Browse shelf(Opens below)) | Available | 2026-1638 |
Browsing Main LIbrary shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
|
||
| QA76.585 .E5 2016 Encyclopedia of Cloud Computing | QA 76.59 J3 2009 Mobile Computing | QA76.6 The world of scripting languages / | QA76.6.B28 1986 Program construction and verification | QA76.6.B3 2000 The world of scripting languages / | QA76.6.B3 2006 Web programming : building internet application/ | QA76.6.B6 1987 Basic on the IBM pc |
There are no comments on this title.
Log in to your account to post a comment.