Formal Methods and Software Engineering

フォーマット:
電子ブック
責任表示:
International Conference on Formal Engineering Methods ; Barnett, Mike ; Davies, Jim ; Schulte, Wolfram
言語:
英語
出版情報:
Springer Berlin / Heidelberg, 2004
著者名:
ISBN:
9783540238416 [3540238417]  CiNii Books  Webcat Plus  Google Books
9783540304821 [3540304827]  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, Dong, Jin Song, Woodcock, Jim

Springer Berlin Heidelberg

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

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

Springer Berlin Heidelberg

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

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

Springer Berlin Heidelberg