Unifying Theories of Programming

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Bowen, Jonathan P., Zhu, Huibiao
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Truy cập trực tuyến:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83095
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-83095
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-830952023-10-06T03:09:47Z Unifying Theories of Programming Bowen, Jonathan P. Zhu, Huibiao Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters 2020-02-20T03:00:34Z 2020-02-20T03:00:34Z 2017 Book 978-3-319-52227-2 978-3-319-52228-9 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83095 en Lecture Notes in Computer Science Springer International Publishing AG application/pdf Springer International Publishing
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
spellingShingle Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Bowen, Jonathan P.
Zhu, Huibiao
Unifying Theories of Programming
format Book
author Bowen, Jonathan P.
Zhu, Huibiao
author_facet Bowen, Jonathan P.
Zhu, Huibiao
author_sort Bowen, Jonathan P.
title Unifying Theories of Programming
title_short Unifying Theories of Programming
title_full Unifying Theories of Programming
title_fullStr Unifying Theories of Programming
title_full_unstemmed Unifying Theories of Programming
title_sort unifying theories of programming
publisher Springer International Publishing
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83095
_version_ 1819818123788812288