Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France.

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

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

Material type: 図書

Author: European Symposium on Programming (23rd : 2014 : Grenoble, France)ほか

Publisher: Springer

Publication date: c2014.

Material Format: Paper

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

NDC: -

View All

Notes on use

Note (General)：: Papers."ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POS...

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: 9783642548321
9783642548338 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France.
Series Title: Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 8410.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: European Symposium on Programming (23rd : 2014 : Grenoble, France)
Shao, Zhong, 1968-
Universite Joseph Fourier de Grenoble (UJFG)
ETAPS 2014 (2014 : Grenoble, France)
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2014.
Publication Date (W3CDTF): 2014
Extent: xiii, 576 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: ETAPS : European joint conferences on theory & practice of software.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer programming--Congresses.
Programming languages (Electronic computers)--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POST) (...)" -- foreword.
Described as "(...) (ESOP 2014). The conference took place in Grenoble, France, during April 8-10, 2014, (...)" -- pref.
"ESOP is an annual conference (...)" -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-14-2136
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025388699
http://id.ndl.go.jp/bib/025388699
OCLC No.: 882072508
https://www.worldcat.org/oclc/882072508
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215