Formal approaches to software testing and runtime verification : first combined international workshops : FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers. : FATES/RV 2006 workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4262)

Formal approaches to software testing and runtime verification : first combined international workshops : FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers. : FATES/RV 2006 workshop : Aug 2006, Seattle, WA.

(Lecture Notes in Computer Science ; 4262)

Call No. (NDL): M17-07-145
Bibliographic ID of National Diet Library: 000008408786

Material type: 図書

Author: -

Publisher: Springer

Publication date: c2006.

Material Format: Paper

Capacity, size, etc.: viii, 253 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783540496991 (ISBN-13 : pbk.)
3540496998 (pbk.)
ISSN (series): 0302-9743
Title: Formal approaches to software testing and runtime verification : first combined international workshops : FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers. : FATES/RV 2006 workshop : Aug 2006, Seattle, WA.
Series Title: Lecture Notes in Computer Science ; 4262
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2006.
Publication Date (W3CDTF): 2006
Extent: viii, 253 p. : ill. ; 24 cm.
Alternative Title: 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 papers
FATES/RV 2006
Place of Publication (Country Code): DE
Text Language Code: eng
NDLC: M17
Note (General): Revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-07-145
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008408786
http://id.ndl.go.jp/bib/000008408786
RLIN No.: XHAR060143418-B
Bibliographic Record Category (NDL): 215