VDM '90 VDM and Z — Formal Methods in Software Development : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

>> Amazon.co.jp

このページのQRコード

VDM '90 VDM and Z — Formal Methods in Software Development : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

種類:

電子ブック

責任表示:

edited by D. Bjørner, C. A. R. Hoare, H. Langmaack

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1990

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 428

ISBN:

9783540470069 [3540470069]

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)

オンライン

http://dx.doi.org/10.1007/3-540-52513-0

所蔵情報

子書誌情報

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

詳細

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

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Bjørner, Dines., Hoare, C.A.R., Langmaack, Hans., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック 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
2 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans Springer-Verlag	8 電子ブック Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, … Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice, Thatcher, James, SpringerLink (Online service) Springer-Verlag
3 電子ブック VDM '91 Formal Software Development Methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings Prehn, Søren, Toetenel, Hans, SpringerLink (Online service) Springer-Verlag	9 電子ブック FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings Naftalin, Maurice, Denvir, Tim, Bertran, Miquel, SpringerLink (Online service) Springer-Verlag
4 電子ブック VDM'91 Formal Software Development Methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings Prehn, S., Toetenel, W. J., SpringerLink (Online service) Springer-Verlag	10 電子ブック 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
5 電子ブック 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	11 電子ブック VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings Bjørner, Dines, Jones, Cliff B., Mac an Airchinnigh, Mícheál, Neuhold, Erich J., SpringerLink (Online service) Springer-Verlag
6 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, … Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service) Springer-Verlag	12 電子ブック Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service) Springer-Verlag