Rewriting Logic and Its Applications

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Rusu, Vlad
Đị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:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88121
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-88121
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-881212020-04-06T05:39:29Z Rewriting Logic and Its Applications Rusu, Vlad Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters 2020-04-06T05:39:29Z 2020-04-06T05:39:29Z 2018 Book 978-3-319-99839-8 978-3-319-99840-4 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88121 en Springer Nature Switzerland 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
Rusu, Vlad
Rewriting Logic and Its Applications
format Book
author Rusu, Vlad
author_facet Rusu, Vlad
author_sort Rusu, Vlad
title Rewriting Logic and Its Applications
title_short Rewriting Logic and Its Applications
title_full Rewriting Logic and Its Applications
title_fullStr Rewriting Logic and Its Applications
title_full_unstemmed Rewriting Logic and Its Applications
title_sort rewriting logic and its applications
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88121
_version_ 1757657217032519680