|
|
|
|
| LEADER |
02654nam a22005535i 4500 |
| 001 |
11384 |
| 003 |
DE-He213 |
| 005 |
20130725202926.0 |
| 007 |
cr nn 008mamaa |
| 008 |
101119s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642171642
|9 978-3-642-17164-2
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-17164-2
|2 doi
|
| 050 |
# |
4 |
|a QA76.7-76.73
|
| 050 |
# |
4 |
|a QA76.76.C65
|
| 072 |
# |
7 |
|a UMX
|2 bicssc
|
| 072 |
# |
7 |
|a UMC
|2 bicssc
|
| 072 |
# |
7 |
|a COM051010
|2 bisacsh
|
| 072 |
# |
7 |
|a COM010000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.13
|2 23
|
| 100 |
1 |
# |
|a Ueda, Kazunori.
|e editor.
|
| 245 |
1 |
0 |
|a Programming Languages and Systems
|b 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
|c edited by Kazunori Ueda.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a X, 440p. 48 illus.
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Computer Science,
|v 6461
|x 0302-9743 ;
|
| 520 |
# |
# |
|a The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Data protection.
|
| 650 |
# |
0 |
|a Logic design.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Systems and Data Security.
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642171635
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6461
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-17164-2
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|