Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

>> Google Books

所蔵情報QRコード

Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, 1981

形態:

vii, 478 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 107 <BA00009279>

著者名:

ISBN:

9783540106999 [3540106995] (: gw)
9780387106991 [0387106995] (: us)

書誌ID:

BA03650775

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

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

東工大ブックレビュー

類似資料:

1 電子ブック Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings Diaz, J., Ramos, I., SpringerLink (Online service)	7 図書 Algorithms -- ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings ESA, Díaz, Josep, 1950-, Serna, Maria, 1959- Springer
2 図書 International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings (: gw ; : us) International symposium on programming, Paul, Manfred, 1932-, Robinet, Bernard, 1941- Springer-Verlag	8 図書 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.
3 電子ブック Formalization of Programming Concepts Diaz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 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
4 図書 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings (: gw ; : us) International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo) Springer-Verlag	10 図書 Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, J, Lepistö, Arto, … Springer
5 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: … Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)	11 図書 International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (: gw ; : us) Robinet, Bernard, 1941-, International symposium on programming Springer-Verlag
6 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: … Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)	12 図書 Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 (: gw ; : us) International Symposium on Operating Systems, Gelenbe, Erol, 1945-, Kaiser, C., Institut de recherche d'informatique et … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12