本文に飛ぶ
図書

Formal approaches to software testing : third international workshop on formal approaches to testing of software, FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers. : Oct 2003, Montreal, Canada. (Lecture Notes in Computer Science ; 2931)

図書を表すアイコン

Formal approaches to software testing : third international workshop on formal approaches to testing of software, FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers. : Oct 2003, Montreal, Canada.

(Lecture Notes in Computer Science ; 2931)

国立国会図書館請求記号
M17-04-2449
国立国会図書館書誌ID
000007346715
資料種別
図書
著者
Petrenko, Alexandre.ほか
出版者
Springer-Verlag
出版年
c2004.
資料形態
ページ数・大きさ等
viii, 266 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Revised papers.FATES was held in affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003.

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
3540208941 (acid-free paper)
ISSN(シリーズ)
0302-9743
出版年月日等
c2004.
出版年(W3CDTF)
2004