Abstract software specifications : Copenhagen winter school proceedings, Jan. 22-Feb. 2, 1979 / edited by D. Bjorner
Language: English Series: Publication details: Berlin ; Springer Verlag, ; 1980Edition: Description: xi,567 p; 24 cmISBN: 3-540-10007-51Subject(s): | Abstract data types (Computerscience)-Congresses | Computer software-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3.06 Abs:79 | Available | G54B31 | 107977 |
Total holds: 0
There are no comments on this title.