Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
Berlin : Springer, c1999
図書この資料には他にも巻号があります。
| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
0027790 |
一般 |
|
|
1999
2 v. : ill. ; 24 cm
Lecture notes in computer science ; 1708, 1709
Includes bibliographical references and index
"FM '99, the First World Congress on Formal Methods in the Development of Computing Systems" -- Pref
英語 (eng)
英語 (eng)
World Congress on Formal Methods in the Development of Computing Systems [ Congress on Formal Methods in the Development of Computing Systems, World ] [ FM ]
Wing, Jeannette Marie [ Wing, J. M. (Jeannette Marie) ] [ Wing, Jeannette M ]
LCC:QA76.9.F67
3540665870 (v. 1)
BA43361015
LCCN : 99049628
