On the Refinement Calculus
By: Morgan, Carroll
.
Material type: 
TextPublisher: New York Springer-Verlag 1992Description: 159p.ISBN: 9783540199311.
| Item type | Home library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CCSIT Library | Available | CSB018411 |
Open Library:
There are no comments for this item.