Tests and proofs : 6th international conference, TAP 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : TOOLS federated conferences : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7305)

Tests and proofs : 6th international conference, TAP 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : TOOLS federated conferences : May 2012, Prague, Czech Republic.

(Lecture Notes in Computer Science ; 7305)

Call No. (NDL): M17-12-4086
Bibliographic ID of National Diet Library: 023837255

Material type: 図書

Author: TAP (Conference) (6th : 2012 : Prague, Czech Republic)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: x, 175 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.

Other physical details：: ill.

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: 9783642304729
9783642304736 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Tests and proofs : 6th international conference, TAP 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : TOOLS federated conferences : May 2012, Prague, Czech Republic.
Series Title: Lecture Notes in Computer Science ; 7305
Title Heading: Lecture notes in computer science ; 7305.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: TAP (Conference) (6th : 2012 : Prague, Czech Republic)
Brucker, Achim D.
Julliand, Jacques.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: x, 175 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software--Testing--Congresses.
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-12-4086
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023837255
http://id.ndl.go.jp/bib/023837255
OCLC No.: 801874019
https://www.worldcat.org/oclc/801874019
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215