Programs as Data Objects : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

>> Amazon.co.jp

このページのQRコード

Programs as Data Objects : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

種類:

電子ブック

責任表示:

edited by Harald Ganzinger, Neil D. Jones

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1986

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 217

ISBN:

9783540397861 [3540397868]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-16446-4

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Logics and Meanings of Programs; Programming Techniques; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Logic design FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Programming Techniques FREE : Software Engineering
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005855

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 Ganzinger, Harald., Jones, Neil., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings Bakker, J. W., Roever, W. P., Rozenberg, G., SpringerLink (Online service) Springer-Verlag
2 電子ブック ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings Jones, Neil, SpringerLink (Online service) Springer-Verlag	8 電子ブック CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings Vogt, Frederich H., SpringerLink (Online service) Springer-Verlag
3 図書 Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 Ganzinger, Harald, 1950-, Jones, Neil D., 1941-, Workshop "Programs as Data Objects" Springer-Verlag	9 電子ブック Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings Nori, Kesav V., Veni Madhavan, C. E., SpringerLink (Online service) Springer-Verlag
4 電子ブック Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service) Springer-Verlag	10 電子ブック Algebraic Specification Techniques in Object Oriented Programming Environments Breu, Ruth, SpringerLink (Online service) Springer-Verlag
5 電子ブック Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings Möller, Bernhard, SpringerLink (Online service) Springer-Verlag	11 電子ブック Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981 Staunstrup, Jørgen, SpringerLink (Online service) Springer-Verlag
6 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service) Springer-Verlag	12 電子ブック ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings Jones, Neil., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer