Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979

所蔵情報QRコード

Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / edited by Hans-Jochen Schneider

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland Pub. Co.
New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979

形態:

ix, 297 p. ; 23 cm

著者名:

ISBN:

9780444853943 [0444853944]

書誌ID:

BA09946912

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Prcessing." Includes bibliographies
主題:	Electronic digital computers--Programming--Congresses; Formal languages--Congresses; Information storage and retrieval systems--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 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.	7 図書 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
2 図書 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.	8 図書 Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, Como, Italy, 1-3 September, … IFIP WG8.1 Working Conference on Information System Development Process, Prakash, Naveen, Rolland, Colette, Pernici, … North-Holland
3 図書 Evolutionary information systems : proceedings of the IFIP TC 8 Working Conference on Evolutionary Information Systems, Budapest, Hungary, 1-3 September 1981 IFIP TC 8 Working Conference on Evolutionary Information Systems, Hawgood, John, IFIP WG 8.1, International Federation … North-Holland Pub. Co., Sole distribution for the USA and Canada, Elsevier Science Pub. Co.	9 図書 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
4 図書 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.	10 図書 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
5 図書 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	11 図書 Mechanized information storage, retrieval and dissemination : proceedings of the F.I.D./I.F.I.P. joint conference, Rome, June 14-17,1967 Samuelson, Kjell, International Federation for Information Processing North-Holland
6 図書 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.	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12