Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 6602. Advanced Research in Computing and Software Science)

Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany.

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

Call No. (NDL): M17-11-2296
Bibliographic ID of National Diet Library: 000011201981

Material type: 図書

Author: Universitat des Saarlandes.ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xiv, 500 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers."ARCoSS" -- cover."ETAPS 2011 was the 14th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an ...

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: 9783642197178 (soft cover : alk. paper)
9783642197185 (e-ISBN)
ISSN: 1611-3349 (e-ISSN)
ISSN (series): 0302-9743
Title: Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany.
Series Title: Lecture Notes in Computer Science ; 6602. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science, 0302-9743 ; 6602. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: Universitat des Saarlandes.
Barthe, Gilles.
European Symposium on Programming (20th : 2011 : Saarbrücken, Germany)
ETAPS 2011 (2011 : Saarbrücken, Germany)
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xiv, 500 p. : ill. ; 24 cm.
Alternative Title: European joint conferences on theory and practice of software 2011
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Programming languages (Electronic computers) -- Congresses.
Electronic books.
LCC: QA76.7
NDLC: M17
Note (General): Selected papers.
"ARCoSS" -- cover.
"ETAPS 2011 was the 14th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...) " -- foreword.
"This year it comprised the usual five sister conferences (CC, ESOP, FASE, FOSSACS, TACAS) , (...) and seven invited lectures (...) " -- foreword.
Described as " (...) ESOP 2011, (...) held March 30-April 1, 2011, in Saarbrucken, Germany." -- pref.
"ESOP is an annual conference (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-2296
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011201981
http://id.ndl.go.jp/bib/000011201981
OCLC No.: 715186721
https://www.worldcat.org/oclc/715186721
Bibliographic Record Category (NDL): 215