Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings : Nov 2014, Haifa, Israel. (Lecture Notes in Computer Science ; 8855)

Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings : Nov 2014, Haifa, Israel.

(Lecture Notes in Computer Science ; 8855)

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

Material type: 図書

Author: International Haifa Verification Conference (10th : 2014 : Haifa, Israel)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xvi, 299 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers."It was the tenth event in this series of annual conferences ..."-- 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: 9783319133379
3319133373
ISSN (series): 0302-9743
Title: Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings : Nov 2014, Haifa, Israel.
Series Title: Lecture Notes in Computer Science ; 8855
Title Heading: Lecture notes in computer science ; 8855.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: International Haifa Verification Conference (10th : 2014 : Haifa, Israel)
Yahav, Eran.
IBM Research Haifa.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xvi, 299 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer programs--Verification--Congresses.
Software architecture--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
"It was the tenth event in this series of annual conferences ..."-- Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-622
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025956301
http://id.ndl.go.jp/bib/025956301
OCLC No.: 904372173
https://www.worldcat.org/oclc/904372173
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215