Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7504)

Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece.

(Lecture Notes in Computer Science ; 7504)

Call No. (NDL): M17-13-663
Bibliographic ID of National Diet Library: 024015780

Material type: 図書

Author: International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: xiii, 384 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers."The workshops that joined the conference were (...) (FM+AM 2012), (...) (OpenCert 2012), (...) (InSuEdu 2012), and (...) (MoKMaSD 201...

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: 9783642338250 (pbk. : alk. paper)
9783642338267 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece.
Series Title: Lecture Notes in Computer Science ; 7504
Title Heading: LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)
Eleftherakis, George.
Hinchey, Michael G. (Michael Gerard), 1969-
Holcombe, W. M. L. (William Michael Lloyd), 1944-
University of Sheffield International Faculty. CITY College.
South-East European Research Centre.
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: xiii, 384 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
US
Text Language Code: eng
Subject Heading: Software engineering--Congresses.
Formal methods (Computer science)--Congresses.
LCC: QA76.758
DDC: 005.1
NDLC: M17
Target Audience: 一般
Note (General): Selected papers.
"The workshops that joined the conference were (...) (FM+AM 2012), (...) (OpenCert 2012), (...) (InSuEdu 2012), and (...) (MoKMaSD 2012)." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-663
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024015780
http://id.ndl.go.jp/bib/024015780
LC Control Number: 2012947808
https://lccn.loc.gov/2012947808
OCLC No.: 817317545
https://www.worldcat.org/oclc/817317545
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215