FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

>> Google Books

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli

版:

1st ed. 2003

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2003

形態:

XXXIV, 946 p.

シリーズ名:

Lecture Notes in Computer Science ; 2805

著者名:

ISBN:

9783540452362 [3540452362]
9783662170489 [3662170485]
9783540408284 [3540408282]

書誌ID:

EB00005430

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; als

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Software Engineering

言語:

英語

目次情報:

ブックレビュー

類似資料:

1 電子ブック 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	7 電子ブック 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
2 電子ブック Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of … Sagiv, Mooly., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック 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
3 電子ブック 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	9 電子ブック Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of … Le Metayer, Daniel., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September … Fitzgerald, John., Jones, Cliff B., Lucas, Peter., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers Liu, Zhiming., Araki, Keijiro., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Static Analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings Levi, Giorgio., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings Taha, Walid., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of … Sands, David., SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Principles and Practice of Constraint Programming - CP98 : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings Maher, Michael., Puget, Jean-Francois., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12