Image from Amazon.com
The B-book : assigning programs to meanings / J.-R. Abrial
Material type:
TextPublication details: Cambridge : Cambridge University Press, 2005Description: 779 p. ; 25 cmISBN: - 9780521021753 (pbk.)
- 0521021758 (pbk.)
- 9780521496193 (hbk.)
- 0521496195 (hbk.)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.9.B22 A27 2005 (Browse shelf(Opens below)) | 1 | Available | 0000043215 |
Includes index