Algebraic methodology and software technology : 6th international conference proceedings, AMAST, Sydney, Australia, Dec.13-17, 1997
Language: English Series: Lecture notes in computer science ; v.1349Publication details: Berlin ; Springer-Verlag ; 1997Edition: Description: x,594 p; 23.5 cmISBN: 3-540-63888-1Subject(s): | Computer Science and Engineering | Software engineering-Mathematics-Congresses , Programming (Electronic computers)-Congresses , Computer software-Mathematics-Congresses , Logic, Symbolic and mathematical-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:512Alg:6:97 | Available | G56A04 | 184633 |
Total holds: 0
There are no comments on this title.