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

FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
xi, 689 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 670 <BA00009279>
著者名:
ISBN:
9780387566627 [0387566627] (: us)
9783540566625 [3540566627] (: gw)
書誌ID:
BA19830255
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

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, Fitzgerald, John, 1965-, Jones, Cliff B., 1944-, Lucas, Peter, 1955-

Springer

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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

Springer

ICFEM, Hinchey, Michael G. (Michael Gerard), 1969-, Liu, Shaoying, 1960-, IEEE Computer Society, IEEE Computer Society. …

IEEE Computer Society

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

Springer-Verlag

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

Springer

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

Springer-Verlag

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

Springer

International Symposium of Formal Methods Europe, Gaudel, Marie-Claude, Woodcock, Jim

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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