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

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

Alexandre Petrenko, Andreas Ulrich (eds.)

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-2931

10004003414

一般図書

詳細情報

刊年

2004

形態

viii, 266 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2931

注記

In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003--Pref

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

International Workshop on Formal Approaches to Testing of Software [ FATES ]

Petrenko, Alexandre

Ulrich, Andreas

分類

LCC:QA76.9.F67

DC22:005.13/1

件名

Formal methods (Computer science) -- Congresses

Computer software -- Testing -- Congresses

ISBN

3540208941

NCID

BA66135139