Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

>> Amazon.co.jp

このページのQRコード

Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

種類:

電子ブック

責任表示:

edited by Wolfgang Bibel, Klaus P. Jantke

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1986

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 215

ISBN:

9783540397847 [3540397841]

ローカル注記:

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

オンライン

http://dx.doi.org/10.1007/3-540-16444-8

所蔵情報

子書誌情報

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

詳細

主題:	Computer Science; Programming Techniques
分類・件名:	LCSH : Computer science FREE : Computer Science FREE : Programming Techniques
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005858

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, … Bibel, Wolfgang., Jantke, Klaus P., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 図書 Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings International Workshop AII, Jantke, K. P. (Klaus P.) Springer-Verlag
2 図書 Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, … Workshop on Mathematical Methods of Specification and Synthesis of Software Systems, Bibel, Wolfgang, 1938-, Jantke, K. … Springer-Verlag	8 電子ブック Analogical and Inductive Inference : International Workshop AII '92 Dagstuhl Castle, Germany, October 5–9, 1992 Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer-Verlag
3 電子ブック Analogical and Inductive Inference : International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer-Verlag	9 電子ブック TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings Gaudel, M. -C, Jouannaud, J. -P, SpringerLink (Online service) Springer-Verlag
4 電子ブック Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer-Verlag	10 電子ブック 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
5 電子ブック Analogical and Inductive Inference : International Workshop AII'86 Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	11 電子ブック Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings Hagiya, Masami, Mitchell, John C., SpringerLink (Online service) Springer-Verlag	12 電子ブック System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings Habermann, A. Nico, Montanari, Ugo, SpringerLink (Online service) Springer-Verlag