>> Google Books

FME'96: Industrial Benefit and Advances in Formal Methods / International Symposium of Formal Methods Europe, Marie-Claude Gaudel, Jim Woodcock

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1996
著者名:
ISBN:
9783540609735 [3540609733]
9783540497493 [3540497498]
書誌ID:
OB00576638
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック 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
7 電子ブック 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
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 '94: Industrial Benefit of Formal Methods

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック FME '93: Industrial-Strength Formal Methods

Woodcock

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 電子ブック Theoretical Aspects of Computing ? ICTAC 2010

Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Kanade, Takeo, Woodcock, Jim

Springer eBooks Computer Science, Springer Berlin Heidelberg
4 図書 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
10 電子ブック Theoretical Aspects of Computing – ICTAC 2010

Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Kanade, Takeo, Woodcock, Jim

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック 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
11 電子ブック FM’99 — Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Davies, Jim, Wing, Jeannette Marie, Woodcock, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 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
12 電子ブック FM’99 — Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Davies, Jim, Wing, Jeannette Marie, Woodcock, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12