Logic-Based Program Synthesis and Transformation

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Fioravanti, Fabio, Gallagher, John P.
Đị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/87738
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-87738
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-877382020-04-06T05:20:30Z Logic-Based Program Synthesis and Transformation Fioravanti, Fabio Gallagher, John P. Computer Science Logics and Meanings of Programs Software Engineering 2020-04-06T05:20:30Z 2020-04-06T05:20:30Z 2018 Book 978-3-319-94459-3 978-3-319-94460-9 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87738 en Springer International Publishing AG, part of Springer Nature 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
Software Engineering
spellingShingle Computer Science
Logics and Meanings of Programs
Software Engineering
Fioravanti, Fabio
Gallagher, John P.
Logic-Based Program Synthesis and Transformation
format Book
author Fioravanti, Fabio
Gallagher, John P.
author_facet Fioravanti, Fabio
Gallagher, John P.
author_sort Fioravanti, Fabio
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 International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87738
_version_ 1757670018803302400