عنوان
پدید آورنده
موضوع
رده
QA76.7 .A65 2011
QA76
.
7
.
A65
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642253180
(Number (ISBN
9783642253188
Erroneous ISBN
9783642253171
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434337
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Programming languages and systems :
General Material Designation
[Book]
Other Title Information
9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings /
First Statement of Responsibility
Hongseok Yang (edition)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 383 pages)
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7078
ISSN of Series
0302-9743 ;
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 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642253171
TOPICAL NAME USED AS SUBJECT
Programming languages (Electronic computers), Congresses
Software engineering, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
7
Book number
.
A65
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Yang, Hongseok
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
APLAS (Symposium)(9th :2011 :, Kʻen-ting, Taiwan)
ORIGINATING SOURCE
Date of Transaction
20170726082129.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
