sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN and IFIP Technical Committee 2

IEEE Computer Society Press c1992

: paper , : micro. , : case

Available at 9 libraries

edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988

Available at 10 libraries

edited by L.G.L.T. Meertens

North-Holland , Sole distributors for the U.S.A. and Canada 1987

Available at 14 libraries

edited by Dines Bjørner

North-Holland Pub. Co. 1983

Available at 25 libraries

edited by J.W. de Bakker and J.C. van Vliet

North-Holland Pub. Co. 1981

Available at 23 libraries

edited by B. C. M. Douqué and G. M. Nijssen ; [organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing]

North-Holland Pub. Co. , American Elsevier Pub. Co. 1975

Available at 25 libraries

edited by J.W. Klimbie and K.L. Koffeman

North-Holland Pub. , [Distributors for the U.S.A. and Canada:] American Elsevier 1974

us , ne

Available at 35 libraries

edited by F. Nake, A. Rosenfeld

North-Holland Pub. Co. 1972

Available at 38 libraries

edited by Daniel G. Bobrow

North-Holland 1968

Available at 53 libraries

edited by T.B. Steel, Jr

North-Holland 1966

Available at 51 libraries