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

FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xi, 624 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2391 <BA00009279>
著者名:
ISBN:
9783540439288 [3540439285]
書誌ID:
BA58079779
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-

Springer-Verlag

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

Springer-Verlag

International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, …

Springer-Verlag

International Symposium of Formal Methods Europe, Fitzgerald, John, 1965-, Jones, Cliff B., 1944-, Lucas, Peter, 1955-

Springer

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag

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

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer

International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino

Springer

International Joint Conference on Theory and Practice of Software Development, Mosses, Peter D., Nielsen, M. (Mogens), …

Springer

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

Springer

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

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12