Mathematics of program construction : 5th international conference proceedings, MPC, Ponte de Lima, Portugal, July 3-5, 2000
Language: English Series: Lecture notes in computer science ; v.1837Publication details: Berlin ; Springer-Verlag ; 2000Edition: Description: vii,257 p; 24 cmISBN: 3-540-67727-5Subject(s): | Computer Science and Engineering | Computer programs-Mathematics-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06:51Mat:5:00 | Available | G56A03 | 191510 |
Total holds: 0
There are no comments on this title.