IFIP Technical Committee 2--Programming

この人物の情報

人物別名 International Federation for Information Processing. Technical Committee 2

IFIP TC 2
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Proceedings of the 1992 International Conference on Computer Languages : April 20-23, 1992, Oakland, California 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
Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2 edited by D. Bjørner, V. Kotov North-Holland
s for the United States and Canada, Elsevier Science Pub. Co
1991
Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 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
Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986 edited by L.G.L.T. Meertens North-Holland
Sole distributors for the U.S.A. and Canada
1987
Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986 edited by Martin Wirsing North-Holland Pub. Co.
1987
Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 edited by E. J. Neuhold and G. Chroust North-Holland
1985
Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 edited by Dines Bjørner North-Holland Pub. Co.
1983
The relationship between numerical computation and programming languages : proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981 edited by John K. Reid North-Holland Pub. Co.
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
1982
Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages edited by J.W. de Bakker and J.C. van Vliet North-Holland Pub. Co.
1981
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想