عنوان
پدید آورنده
موضوع
رده
QA76.7
QA76
.
7
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030027686
(Number (ISBN
9783030027681
Erroneous ISBN
9783030027674
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Programming languages and systems :
General Material Designation
[Book]
Other Title Information
16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
First Statement of Responsibility
Sukyoung Ryu (ed.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 437 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
11275
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking.
0
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030027681
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030027674
International Standard Book Number
9783030027698
PARALLEL TITLE PROPER
Parallel Title
APLAS 2018
TOPICAL NAME USED AS SUBJECT
Computer programming, Congresses.
Programming languages (Electronic computers), Congresses.
Artificial intelligence.
Computer programming-- software development.
Computer programming.
Computer science.
Computers-- Computer Science.
Computers-- Hardware-- Handheld Devices.
Computers-- Intelligence (AI) & Semantics.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Programming & scripting languages: general.
Programming languages (Electronic computers)
Software Engineering.
Systems analysis & design.
(SUBJECT CATEGORY (Provisional
COM051010
UMC
UMX
UMX
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
7
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Ryu, Sukyoung
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
APLAS (Symposium)(16th :2018 :, Wellington, N.Z.)
ORIGINATING SOURCE
Date of Transaction
20200823074609.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
