Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8471)

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers.

(Lecture Notes in Computer Science ; 8471)

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

Material type: 図書

Author: VSTTE 2014 (2014 : Vienna, Austria)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: x, 286 pages ; 24 cm.

NDC: -

View Details

Notes on use

Note (General)：: Revised selected papers.

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: 9783319121536
3319121537
ISSN (series): 0302-9743
Title: Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers.
Series Title: Lecture Notes in Computer Science ; 8471
Title Heading: Lecture notes in computer science ; 8471.
Author Heading: VSTTE 2014 (2014 : Vienna, Austria)
Giannakopoulou, Dimitra.
Kroening, Daniel.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date (W3CDTF): 2014
Extent: x, 286 pages
Other physical details: illustrations
Size: 24 cm.
Additional Title: 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria.
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--Verification--Congresses.
Computer software--Quality control--Congresses.
Compilers (Computer programs)--Congresses.
Computer software--Quality control.
Computer software--Verification.
LCC: QA76.76.V47
NDLC: M17
Target Audience: 一般
Note (General): Revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1585
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025910437
http://id.ndl.go.jp/bib/025910437
OCLC No.: 904371900
https://www.worldcat.org/oclc/904371900
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215

See Less