Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990

所蔵情報QRコード

Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 / edited by M. Broy, C.B. Jones

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland
New York, N.Y., U.S.A. : Elsevier Science Pub. Co., distributors for the U.S. and Canada, c1990

形態:

viii, 581 p. ; 24 cm

著者名:

ISBN:

9780444885456 [0444885455]

書誌ID:

BA11491167

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Electronic digital computers--Programming--Congresses
言語:	英語

ブックレビュー

類似資料:

1 図書 Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi … IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi, Olderog, E.-R., … Elsevier	7 図書 Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for … IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Schneider, … North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
2 図書 Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, … IFIP Working Conference on Formal Description of Programming Concepts, Wirsing, M. (Martin), IFIP Technical Committee … North-Holland Pub. Co.	8 図書 Proceedings, Eighth International Workshop on High-Level Parallel Programming Models and Supportive Environments : 22 April 2003, Nice, France : held in … International Workshop on High-Level Programming Models and Supportive Environments, Gerndt, Michel, Schulz, Martin, … IEEE Computer Society Press
3 図書 Programming environments for high-level scientific problem solving : proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for … IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Gaffney, P. W. … North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.	9 図書 Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems … FORTE, Quemada, Juan, 1953-, Mañas, José, 1956-, Vázquez, Enrique, 1960- North-Holland, Distributors for the US and Canada, Elsevier Science Pub. Co.
4 図書 Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., … IFIP Working Conference on Formal Description of Programming Concepts, Neuhold, Erich J., 1940- North-Holland Pub. Co.	10 図書 Programming and mathematical method (: gw ; : us) Broy, M., 1949- Springer-Verlag
5 図書 Control flow and data flow : concepts of distributed programming : international summer school (: Germany ; : U.S.) NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming, Broy, M., 1949- Springer-Verlag	11 図書 Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June … Gries, David, 1939-, Roever, W.-P. de, 1943-, International Federation for Information Processing Chapman & Hall
6 図書 Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, … IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical … North-Holland Pub. Co.	12 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us) Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12