Abstract software specifications : Copenhagen winter school proceedings, Jan. 22-Feb. 2, 1979 / edited by D. Bjorner
Abstract software specifications : Copenhagen winter school proceedings, Jan. 22-Feb. 2, 1979 / edited by D. Bjorner - - Berlin Springer Verlag, 1980 - xi,567 p. 24 cm - .
3-540-10007-51
Abstract data types (Computerscience)-Congresses
Computer software-Congresses
681.3.06 Abs:79