Programming languages and systems 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / Zhenjiang Hu (ed.).

Author/creator APLAS 2009
Other author Hu, Zhenjiang, 1966-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionx, 358 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Subjects
Programming languages (Electronic computers)--Congresses.
Programmanalyse--Kongress. --Seoul <2009>.
Programmierlogik--Kongress. --Seoul <2009>.
Programmiersprache--Formale Methode. --Kongress. --Seoul <2009>.
Programmtransformation--Programmoptimierung. --Kongress. --Seoul <2009>.
Softwaresystem--Programmverifikation. --Sicherheit. --Kongress. --Seoul <2009>.

SeriesLecture notes in computer science, 0302-9743 ; 5904
LNCS sublibrary: SL 2-programming and software engineering
Lecture notes in computer science ; 5904. ^A466336
LNCS sublibrary. SL 2 Programming and software engineering. UNAUTHORIZED
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Other formsAlso issued online.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009939533
ISBN9783642106712 (pbk. : alk. paper)
ISBN3642106714 (pbk. : alk. paper)
Publisher number12802777

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available