عنوان
پدید آورنده
موضوع
رده
QA76.6 .E97 2011
QA76
.
6
.
E97
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642197183
(Number (ISBN
9783642197185
Erroneous ISBN
3642197175
Erroneous ISBN
9783642197178
NATIONAL BIBLIOGRAPHY NUMBER
Number
b423635
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Programming languages and systems :
General Material Designation
[Book]
Other Title Information
20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings /
First Statement of Responsibility
Gilles Barthe (edition)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 500 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Advanced research in computing and software science
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
6602.
ISSN of Series
1611-3349 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30-April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution
OTHER EDITION IN ANOTHER MEDIUM
Title
Programming languages and systems.
International Standard Book Number
3642197175
PARALLEL TITLE PROPER
Parallel Title
ESOP 2011
Parallel Title
ETAPS 2011
TOPICAL NAME USED AS SUBJECT
Computer programming, Congresses
Programming languages (Electronic computers), Congresses
Software engineering, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
.
E97
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Barthe, Gilles,1967-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
European Symposium on Programming(20th :2011 :, Saarbrücken, Germany)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ETAPS (Conference)(2011 :, Saarbrücken, Germany)
ORIGINATING SOURCE
Date of Transaction
20170726082116.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
