Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel.

(Lecture Notes in Computer Science ; 8244)

Call No. (NDL): M17-14-1312
Bibliographic ID of National Diet Library: 025070171

Material type: 図書

Author: International Haifa Verification Conference (9th : 2013 : Haifa, Israel)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xix, 366 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers."It was the ninth event in this series of annual conferences (...)" -- pref.

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: 9783319030777 (e-ISBN)
9783319030760
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel.
Series Title: Lecture Notes in Computer Science ; 8244
Title Heading: Lecture notes in computer science ; 8244.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: International Haifa Verification Conference (9th : 2013 : Haifa, Israel)
Bertacco, Valeria.
Legay, Axel.
IBM Research Haifa.
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xix, 366 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer programs--Verification--Congresses.
Software architecture--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
"It was the ninth event in this series of annual conferences (...)" -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-14-1312
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025070171
http://id.ndl.go.jp/bib/025070171
OCLC No.: 866871980
https://www.worldcat.org/oclc/866871980
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215