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 W. Bibel and K.P. Jantke

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1986

著者名:

シリーズ名:

Lecture notes in computer science ; 215 <BA00009279>

ISBN:

9783540164449 [3540164448] (: gw)

9780387164441 [0387164448] (: us)

所蔵情報

子書誌情報

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

詳細

主題:	Computer software
分類・件名:	NDC7 : 549.92 LCSH : Computer software
TTLL:	eng
言語:	英語
形態:	245 p. ; 25 cm
書誌ID:	BA0050992X

内容紹介

目次情報

類似資料:

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-Verlag	7 電子ブック Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings Ehrig, Hartmut., Jantke, Klaus P., Orejas, Fernando., Reichel, Horst., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック 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	8 電子ブック Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings Ehrig, H., Jantke, K. P., Orejas, F., Reichel, H., SpringerLink (Online service) Springer-Verlag
3 図書 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	9 図書 Specification of software systems Alagar, Vangalur S., 1940-, Periyasamy, K. Springer
4 電子ブック Analogical and Inductive Inference : International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer-Verlag	10 図書 Elements of software science Halstead, Maurice H. (Maurice Howard), 1918- Elsevier
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 International Workshop AII, Jantke, Klaus P. Springer-Verlag
6 図書 Microprocessors/microcomputers : architecture, software, and systems Khambata, Adi J. Wiley	12 電子ブック Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings Jantke, Klaus P., SpringerLink (Online service) Springer-Verlag