Refinement calculus
By: Back, Ralph-Johan.
Material type:
BookSeries: Graduate texts in computer science.Publisher: New York: Springer-Verlag, 1998Description: xv, 519 p.; : 24 cm.ISBN: 0387984178 .Subject(s): Calculus | Computer logic | Computer programmingDDC classification: 005.14
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.14 BAC (Browse shelf) | Available | 011180 |
There are no comments for this item.