Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings. (Lecture Notes in Computer Science ; 8570)

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings.

(Lecture Notes in Computer Science ; 8570)

Call No. (NDL): M17-15-1251
Bibliographic ID of National Diet Library: 026155269

Material type: 図書

Author: TAP 2014 (2014 : York, England)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xii, 211 pages ; 24 cm.

NDC: -

View Details

Notes on use

Note (General)：: Papers."The STAF federated event runs annually; ..."--Foreword."... TAP has been organized annually with great success."--Preface.

Other physical details：: illustrations

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: 9783319090986
3319090984
ISBN (error code): 9783319090993 (electronic bk.)
3319090992 (electronic bk.)
ISSN (series): 0302-9743
Title: Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings.
Series Title: Lecture Notes in Computer Science ; 8570
Title Heading: Lecture notes in computer science ; 8570.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: TAP 2014 (2014 : York, England)
Seidl, Martina.
Tillmann, Nikolai.
University of York.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xii, 211 pages
Other physical details: illustrations
Size: 24 cm.
Additional Title: software technologies: applications and foundations (STAF) federated event : Jul 2014, York, UK.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer software--Testing--Congresses.
Computer software--Verification--Congresses.
Software engineering--Congresses.
Computer software--Testing.
Computer software--Verification.
Software engineering.
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"The STAF federated event runs annually; ..."--Foreword.
"... TAP has been organized annually with great success."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1251
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026155269
http://id.ndl.go.jp/bib/026155269
OCLC No.: 894833715
https://www.worldcat.org/oclc/894833715
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215

See Less