Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.
Material type:
TextSeries: Graduate texts in computer sciencePublication details: New York : Springer, 1998Description: 517p. : ill. ; 25cmISBN: - 0387984178 USD59.95
| Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Book
|
MAIN LIBRARY Material Disposal Room | MAIN LIBRARY Material Disposal Room | QA76.6 . B23 (Browse shelf(Opens below)) | 1 | Available | 1000064940 | ||
|
Book
|
MAIN LIBRARY Material Disposal Room | MAIN LIBRARY Material Disposal Room | QA76.6 . B23 (Browse shelf(Opens below)) | 1 | Available | 1000074003 |