>> Google Books
所蔵情報QRコード

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2003
形態:
xvii, 942 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2805 <BA00009279>
著者名:
ISBN:
9783540408284 [3540408282]
書誌ID:
BA63745075
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings

FM, Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963-

Springer
7 図書 FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

International Symposium of Formal Methods Europe, Eriksson, L.-H. (Lars-Henrik), 1960-, Lindsay, Peter Alexander

Springer
2 図書 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, …

International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James

Springer-Verlag
8 図書 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : …

International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-

Springer
3 図書 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
9 図書 Proceedings, first International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 22 to 27, 2003

International Conference on Software Engineering and Formal Methods

IEEE Computer Society
4 図書 11th International Workshop on Formal Techniques for Java-like Programs 2009 (FTfJP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009

International Workshop on Formal Techniques for Java-like Programs, European Conference on Object-Oriented Programming

Association for Computing Machinery
10 図書 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, …

FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1

Springer
5 図書 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings (: gw ; : us)

International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel

Springer-Verlag
11 電子ブック Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, IEEE
6 図書 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings (: us ; : gw)

International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-

Springer-Verlag
12 電子ブック Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

IEEE Electronic Library (IEL) Conference Proceedings, IEEE
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12