Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4581)

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia.

(Lecture Notes in Computer Science ; 4581)

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

Material type: 図書

Author: Petrenko, Alexandre.ほか

Publisher: Springer

Publication date: c2007.

Material Format: Paper

Capacity, size, etc.: xii, 377 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.Described as " (...) were jointly held in Tallinn, Estonia, June 27-29, 2007." -- pref."In addition, FORTE, the 27th IFIP International Confere...

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: 9783540730651 (ISBN-13 : pbk.)
3540730656 (pbk.)
ISSN (series): 0302-9743
Title: Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia.
Series Title: Lecture Notes in Computer Science ; 4581
Author Heading: Petrenko, Alexandre.
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th : 2007 : Tallinn, Estonia)
FATES 2007 (2007 : Tallinn, Estonia)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2007.
Publication Date (W3CDTF): 2007
Extent: xii, 377 p. : ill. ; 24 cm.
Alternative Title: TestCom/FATES 2007
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Telecommunication systems -- Testing -- Congresses.
Computer software -- Testing -- Congresses.
NDLC: M17
Note (General): Papers.
Described as " (...) were jointly held in Tallinn, Estonia, June 27-29, 2007." -- pref.
"In addition, FORTE, the 27th IFIP International Conference on Formal Methods for Networked and Distributed Systems, was also held in Tallinn during these dates, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-07-1758
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008796991
http://id.ndl.go.jp/bib/000008796991
OCLC No.: 144615310
https://www.worldcat.org/oclc/144615310
Bibliographic Record Category (NDL): 215