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 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

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

資料種別:

図書

出版情報:

Amsterdam ; Tokyo : North-Holland Pub. Co., 1987

形態:

xii, 453 p. ; 24 cm

著者名:

ISBN:

9780444702531 [0444702539]

書誌ID:

BA00859295

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--Facing t.p. Includes bibliographies and index
主題:	Electronic digital computers--Programming--Congresses; Formal languages--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 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.	7 図書 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, … IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Broy, M., 1949-, Jones, Cliff B., … North-Holland, Elsevier Science Pub. Co., distributors for the U.S. and Canada
2 図書 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.	8 図書 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.
3 図書 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.	9 図書 Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and … FORTE, Diaz, Michel, 1945-, Groz, Roland North-Holland
4 図書 Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems … FORTE, Parker, K. R. (Ken R.), Rose, G. A. (Gordon A.) North-Holland	10 図書 Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques FORTE, Hogrefe, Dieter, Leue, Stefan, IFIP Working Group 6.1 Chapman & Hall on behalf of the International Federation for Information Processing
5 図書 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	11 図書 Formal description techniques II : proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems … FORTE, Vuong, Son T. North-Holland
6 図書 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	12 図書 Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol … FORTE, Gotzhein, Reinhard, Bredereke, Jan, International Federation for Information Processing, IFIP TC 6/WG 6.1 … published by Chapman & Hall on behalf of the International Federation for Information Processing

1

2

3

4

5

6

7

8

9

10

11

12