ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings

>> Google Books

所蔵情報QRコード

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger (ed.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1988

形態:

vi, 379 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 300 <BA00009279>

著者名:

ISBN:

9783540190271 [3540190279] (: gw)
9780387190273 [0387190279] (: us)

書誌ID:

BA03441924

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Held in conjunction with CAAP '88
Includes bibliographical references and index

主題:

Electronic digital computers--Programming--Congresses; Programming languages (Electronic computers)--Congresses

言語:

英語

目次情報:

Program Development and Verification

Algebraic Specification and Type Concepts

Language Concepts

Implementation of Programming Languages

Systems Exhibition

Author Index

東工大ブックレビュー

類似資料:

1 電子ブック ESOP '88 : 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings Ganzinger, Harald., SpringerLink (Online service)	7 電子ブック CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings Dauchet, Max., Nivat, Maurice., SpringerLink (Online service)
2 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings European Symposium on Programming, Nielson, Hanne Riis, 1954- Springer-Verlag	8 図書 Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, … North-Holand, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
3 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris Springer-Verlag	9 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse Springer
4 図書 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us) European Symposium on Programming, Jones, Neil D., 1941- Springer-Verlag	10 図書 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us) European Symposium on Programming, Krieg-Brückner, B. (Bernd) Springer-Verlag
5 図書 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw) European Symposium on Programming, Sannella, Donald, 1956- Springer-Verlag	11 図書 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings (: gw ; : us) SAS, Le Charlier, Baudouin, 1950- Springer-Verlag
6 図書 CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us) Colloquium on Trees in Algebra and Programming, Dauchet, Max, 1946-, Nivat, Maurice, European Symposium on Programming Springer-Verlag	12 図書 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 Courant Computer Science Symposium, Rustin, Randall Prentice-Hall