FME 2002:Formal Methods—Getting IT Right

>> Google Books

FME 2002:Formal Methods—Getting IT Right

フォーマット:

電子ブック

責任表示:

International Symposium of Formal Methods Europe ; Eriksson, Lars-Henrik ; Lindsay, Peter Alexander

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2002

著者名:

ISBN:

9783540439288 [3540439285]

9783540456148 [3540456147]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	INTERNATIONAL SYMPOSIUM OF FORMAL METHODS EUROPE, COPENHAGEN, DENMARK, JULY 22-24, 2002 PROCEEDINGS FME 2002
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211971
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Extensions of Logic Programming Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	7 電子ブック FME '94: Industrial Benefit of Formal Methods International Symposium of Formal Methods Europe, Bertran, Miquel, Denvir, Tim, Naftalin, Maurice Springer Berlin Heidelberg
2 電子ブック FME 2003: Formal Methods Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg	8 図書 Proceedings CCGrid2002 : 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid, 21-24 May 2002, Berlin, Germany International Symposium on Cluster Computing and the Grid, Bal, Henri E., Löhr, Klaus-Peter, Reinefeld, Alexander, IEEE … IEEE Computer Society Press
3 電子ブック FME '97: Industrial Applications and Strengthened Foundations of Formal Methods International Symposium of Formal Methods Europe, Fitzgerald, John, Jones, Cliff B., Lucas, Peter Springer Berlin Heidelberg	9 図書 Formal aspects of security : first International Conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers FASec, Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.) Springer
4 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods International Symposium of Formal Methods Europe, Gaudel, Marie-Claude, Woodcock, Jim Springer Berlin Heidelberg	10 図書 Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings International Conference on Integrated Formal Methods, Butler, Michael, Petre, Luigia, Sere, K. (Kaisa), 1954- Springer
5 電子ブック FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela Springer Berlin Heidelberg	11 電子ブック Writing for publication in nursing and healthcare : getting it right Holland, Karen, 1949-, Watson, Roger, 1955- Wiley Blackwell
6 電子ブック FME '93: Industrial-Strength Formal Methods Woodcock Springer Berlin Heidelberg	12 図書 Formally p-adic fields Prestel, Alexander, 1941-, Roquette, Peter, 1927- Springer-Verlag