>> Google Books

FME '94: Industrial Benefit of Formal Methods / International Symposium of Formal Methods Europe, Miquel Bertran, Tim Denvir, Maurice Naftalin

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1994
著者名:
ISBN:
9783540585558 [3540585559]
9783540490319 [3540490310]
書誌ID:
OB00576633
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック 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
7 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

Woodcock, James C.P., Larsen, Peter G., SpringerLink (Online service)

Springer Berlin Heidelberg
2 図書 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
8 図書 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

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

Springer
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, …

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

Springer-Verlag
9 電子ブック FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Araki, Keijiro., Gnesi, Stefania., Mandrioli, Dion., SpringerLink (Online service)

Springer Berlin Heidelberg
4 電子ブック 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
10 図書 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
5 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 電子ブック 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
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 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12