Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Yoshida, Nobuko | vi |
| dc.date.accessioned | 2021-09-29T08:34:50Z | - |
| dc.date.available | 2021-09-29T08:34:50Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.other | OER000001268 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/19809 | - |
| dc.description | Ebook miễn phí tại trang: https://library.oapen.org/ | vi |
| dc.description.abstract | The Decidability of Verification under PS 2.0. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. Types for Complexity of Parallel Computation in Pi-Calculus. Checking Robustness Between Weak Transactional Consistency Models. Verified Software Units. An Automated Deductive Verification Framework for Circuit-building Quantum Programs. Nested Session Types. Coupled Relational Symbolic Execution for Differential Privacy... | vi |
| dc.description.uri | https://library.oapen.org/bitstream/20.500.12657/48221/1/9783030720193.pdf | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | springer | vi |
| dc.subject | ngôn ngữ lập trình | vi |
| dc.subject | Lập trình hệ thống | vi |
| dc.subject | Tên miền trừu tượng | vi |
| dc.subject | Phần mềm máy tính | vi |
| dc.subject.lcc | QA76.73 | vi |
| dc.title | Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 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.