書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 9783540496991 (ISBN-13 : pbk.)3540496998 (pbk.)
- ISSN(シリーズ)
- 0302-9743
- 出版年月日等
- c2006.
- 出版年(W3CDTF)
- 2006
- 数量
- viii, 253 p. : ill. ; 24 cm.
- 並列タイトル等
- Formal approaches to software testing and runtime verification : 1st combined international workshops : FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papersFATES/RV 2006