Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Müller, Peter | vi |
| dc.date.accessioned | 2021-09-29T08:26:53Z | - |
| dc.date.available | 2021-09-29T08:26:53Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.other | OER000001267 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/19808 | - |
| dc.description | Ebook miễn phí tại trang: https://library.oapen.org | vi |
| dc.description.abstract | Formal Methods for Evolving Database Applications. Many database applications undergo significant schema changes during their life cycle due to performance or maintainability reasons. Trace-Relating Compiler Correctness and Secure Compilation. Runners in Action. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. Constructive Game Logic. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. Concise Read-Only Specifications for Better Synthesis of Programs with Pointers... | vi |
| dc.description.uri | https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | springer open | vi |
| dc.subject | ngôn ngữ lập trình | vi |
| dc.subject | Lập trình hệ thống | vi |
| dc.subject | cơ sở dữ liệu | vi |
| dc.subject.lcc | QA76.73 | vi |
| dc.title | Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings | vi |
| dc.type | Book | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.