Logic Based Program Synthesis and Transformation

Đã lưu trong:
Chi tiết về thư mục
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81248
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-81248
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-812482020-02-20T01:19:29Z Logic Based Program Synthesis and Transformation Computer Science Logics and Meanings of Programs Programming Techniques 2020-02-20T01:19:29Z 2020-02-20T01:19:29Z 2005 Book 978-3-540-26655-6 978-3-540-31683-1 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81248 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
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 Techniques
spellingShingle Computer Science
Logics and Meanings of Programs
Programming Techniques
Logic Based Program Synthesis and Transformation
format Book
title Logic Based Program Synthesis and Transformation
title_short Logic Based Program Synthesis and Transformation
title_full Logic Based Program Synthesis and Transformation
title_fullStr Logic Based Program Synthesis and Transformation
title_full_unstemmed Logic Based Program Synthesis and Transformation
title_sort logic based program synthesis and transformation
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81248
_version_ 1757651959754522624