Formal Methods and Software Engineering

フォーマット:
電子ブック
責任表示:
International Conference on Formal Engineering Methods ; Dong, Jin Song ; Woodcock, Jim
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2003
著者名:
ISBN:
9783540204619 [354020461X]  CiNii Books  Webcat Plus  Google Books
9783540398936 [3540398937]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

International Conference on Formal Engineering Methods, Barnett, Mike, Davies, Jim, Schulte, Wolfram

Springer Berlin / Heidelberg

Woodcock

Springer Berlin Heidelberg

9 電子ブック FM’99 — Formal Methods

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

Springer Berlin Heidelberg

10 電子ブック FM’99 — Formal Methods

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

Springer Berlin Heidelberg

International Conference on Formal Engineering Methods, George, Chris, Miao, Huaikou

Springer Berlin Heidelberg

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

Springer Berlin Heidelberg