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

>> Google Books

所蔵情報QRコード

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

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland Pub. Co., 1983

形態:

xii, 455 p. ; 23 cm

著者名:

ISBN:

9780444866196 [0444866191]

書誌ID:

BA00256132

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

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 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
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 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
3 図書 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	9 図書 Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings (: gw ; : us) Copenhagen Winter School on Abstract Software Specifications, Commission of the European Communities, Bjørner, D. … Springer-Verlag
4 図書 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.	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 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 図書 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 図書 Towards a formal description of Ada (: gw ; : us) Oest, O. N., Bjørner, D. (Dines), 1937- Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12