Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy.

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

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

Material type: 図書

Author: European Symposium on Programming (22nd : 2013 : Rome, Italy)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

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

NDC: -

View All

Notes on use

Note (General)：: Papers."ETAPS 2013 is the sixteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated confer...

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: 9783642370366 (e-ISBN)
9783642370359
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy.
Series Title: Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science. Advanced research in computing and software science.
Lecture notes in computer science ; 7792.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: European Symposium on Programming (22nd : 2013 : Rome, Italy)
Felleisen, Matthias.
Gardner, Philippa.
'Sapienza' University of Rome. Dept. of Computer Science.
ETAPS (Conference) (16th : 2013 : Rome, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xix, 620 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.
LCC: QA76.6
DDC: 005.1
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"ETAPS 2013 is the sixteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...)" -- foreword.
"This year it comprised six sister conferences (CC, ESOP, FASE, FOSSACS, POST, TACAS), (...) and eight invited lectures (...)" -- foreword.
Described as "(...) (ESOP 2013). The conference took place in Rome, Italy, during March 20-22, 2013, (...)" -- pref.
"ESOP is an annual conference (...)" -- pref.
Note (Bibliography): Includes bibliographical references and indexes.
Holding library: 国立国会図書館
Call No.: M17-13-2119
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024392644
http://id.ndl.go.jp/bib/024392644
OCLC No.: 839357408
https://www.worldcat.org/oclc/839357408
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215