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 D. Bjørner, V. Kotov

North-Holland , Distributors for the United States and Canada, Elsevier Science Pub. Co. 1991

Available at 1 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 9 libraries

edited by Martin Wirsing

North-Holland Pub. Co. 1987

Available at 12 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 E. J. Neuhold and G. Chroust

North-Holland 1985

Available at 17 libraries

edited by Dines Bjørner

North-Holland Pub. Co. 1983

Available at 24 libraries

edited by John K. Reid

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

Available at 27 libraries

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

North-Holland Pub. Co. 1981

Available at 22 libraries

edited by G. M. Nijssen

North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier/North-Holland 1976

Available at 37 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 W.L. van der Poel and L.A. Maarssen

North-Holland Pub. Co. , American Elsevier 1974

: ne , : us

Available at 27 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 W. M. Turski

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

: Elsevier , : North-Holland

Available at 30 libraries

edited by F. Nake, A. Rosenfeld

North-Holland Pub. Co. 1972

Available at 38 libraries

Ed. by J. E. L. Peck

North-Holland Pub. Co. 1971

Available at 26 libraries

edited by Daniel G. Bobrow

North-Holland 1968

Available at 53 libraries

Edited by J.N. Buxton

North-Holland Pub. Co. 1968

Available at 45 libraries

edited by T.B. Steel, Jr

North-Holland 1966

Available at 51 libraries