Verified Software. Theories, Tools, and Experiments

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Chakraborty, Supratik, Navas, Jorge A.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90035
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-90035
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-900352020-05-06T05:46:29Z Verified Software. Theories, Tools, and Experiments Chakraborty, Supratik Navas, Jorge A. Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters 2020-05-06T05:46:29Z 2020-05-06T05:46:29Z 2020 Book 978-3-030-41599-0 978-3-030-41600-3 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90035 en Lecture Notes in Computer Science 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 Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters
spellingShingle	Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Chakraborty, Supratik Navas, Jorge A. Verified Software. Theories, Tools, and Experiments
format	Book
author	Chakraborty, Supratik Navas, Jorge A.
author_facet	Chakraborty, Supratik Navas, Jorge A.
author_sort	Chakraborty, Supratik
title	Verified Software. Theories, Tools, and Experiments
title_short	Verified Software. Theories, Tools, and Experiments
title_full	Verified Software. Theories, Tools, and Experiments
title_fullStr	Verified Software. Theories, Tools, and Experiments
title_full_unstemmed	Verified Software. Theories, Tools, and Experiments
title_sort	verified software. theories, tools, and experiments
publisher	Springer International Publishing
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90035
_version_	1757660456156135424

Verified Software. Theories, Tools, and Experiments

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