Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany.

(Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)

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

Material type: 図書

Author: International Static Analysis Symposium (21st : 2014 : Munich, Germany)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xviii, 336 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and 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: 9783319109350
3319109359
ISBN (error code): 9783319109367 (electronic bk.)
3319109367 (electronic bk.)
ISSN (series): 0302-9743
Title: Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany.
Series Title: Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 8723.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: International Static Analysis Symposium (21st : 2014 : Munich, Germany)
Müller-Olm, Markus.
Seidl, Helmut (Computer scientist)
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xviii, 336 pages
Other physical details: illustrations
Size: 24 cm.
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 programming--Congresses.
Software engineering--Congresses.
Computer programming.
Software engineering.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-611
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026099648
http://id.ndl.go.jp/bib/026099648
OCLC No.: 894834246
https://www.worldcat.org/oclc/894834246
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215