Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Winterstein, Felix
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Engineering
Circuits and Systems
Memory Structures
Logic Design
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83726
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-83726
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-837262020-02-24T09:19:59Z Separation Logic for High-level Synthesis Winterstein, Felix Engineering Circuits and Systems Memory Structures Logic Design 2020-02-24T09:19:59Z 2020-02-24T09:19:59Z 2017 Book 978-3-319-53221-9 978-3-319-53222-6 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83726 en Springer Theses 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 Engineering
Circuits and Systems
Memory Structures
Logic Design
spellingShingle Engineering
Circuits and Systems
Memory Structures
Logic Design
Winterstein, Felix
Separation Logic for High-level Synthesis
format Book
author Winterstein, Felix
author_facet Winterstein, Felix
author_sort Winterstein, Felix
title Separation Logic for High-level Synthesis
title_short Separation Logic for High-level Synthesis
title_full Separation Logic for High-level Synthesis
title_fullStr Separation Logic for High-level Synthesis
title_full_unstemmed Separation Logic for High-level Synthesis
title_sort separation logic for high-level synthesis
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83726
_version_ 1757678199782768640

Những quyển sách tương tự