FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

>> Google Books

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas

版:

1st ed. 1997

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 1997

形態:

XIV, 694 p.

シリーズ名:

Lecture Notes in Computer Science ; 1313

著者名:

ISBN:

9783540695936 [3540695931]
9783662183335 [3662183331]
9783540635338 [3540635335]

書誌ID:

EB00002897

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering

言語:

英語

目次情報:

ブックレビュー

類似資料:

1 図書 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, … (: pbk) International Symposium of Formal Methods Europe, Fitzgerald, John, 1965-, Jones, Cliff B., 1944-, Lucas, Peter, 1955- Springer	7 電子ブック FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings Fitzgerald, John., Hayes, Ian J., SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings Eriksson, Lars-Henrik., Lindsay, Peter A., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings Jones, Neil., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック 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 Berlin Heidelberg	9 電子ブック Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 Smolka, Gert., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック 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 Berlin Heidelberg	10 電子ブック Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings Butler, Michael., Petre, Luigia., Sere, Kaisa., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Araki, Keijiro., Gnesi, Stefania., Mandrioli, Dion., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Steffen, Martin., Zavattaro, Gianluigi., SpringerLink (Online service) Springer Berlin Heidelberg
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 Berlin Heidelberg	12 電子ブック Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, … Najm, Elie., Nestmann, Uwe., Stevens, Perdita., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12