Programming Languages and Systems (Record no. 202870)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03153nam a22005895i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030341756 |
| -- | 978-3-030-34175-6 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CUS |
| 245 10 - TITLE STATEMENT | |
| Title | Programming Languages and Systems |
| Sub title | 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / |
| Statement of responsibility, etc. | edited by Anthony Widjaja Lin. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2019. |
| 300 ## - DESCRIPTION | |
| Extent | XIII, 492 p. 609 illus., 24 illus. in color. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. . |
| 650 #0 - SUBJECT | |
| Keyword | Programming languages (Electronic computers). |
| 650 #0 - SUBJECT | |
| Keyword | Software engineering. |
| 650 #0 - SUBJECT | |
| Keyword | Computer programming. |
| 650 #0 - SUBJECT | |
| Keyword | Computer system failures. |
| 650 #0 - SUBJECT | |
| Keyword | Computers. |
| 650 #0 - SUBJECT | |
| Keyword | Computer logic. |
| 650 14 - SUBJECT | |
| Keyword | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT | |
| Keyword | Software Engineering. |
| 650 24 - SUBJECT | |
| Keyword | Programming Techniques. |
| 650 24 - SUBJECT | |
| Keyword | System Performance and Evaluation. |
| 650 24 - SUBJECT | |
| Keyword | The Computing Profession. |
| 650 24 - SUBJECT | |
| Keyword | Logics and Meanings of Programs. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Lin, Anthony Widjaja. |
| 856 40 - ONLINE RESOURCES | |
| url | https://doi.org/10.1007/978-3-030-34175-6 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | e-Books |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| -- | https://orcid.org/0000-0003-4715-5096 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| Home library | Current library | Full call number | Accession number | Koha item type |
|---|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | 005.13 | E-3095 | e-Books |