Provably Correct Systems. 1st ed. 2017

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Hinchey, Mike, Bowen, Jonathan P., Olderog, Ernst-Rüdiger
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Models and Principles
Truy cập trực tuyến:	http://doi.org/10.1007/978-3-319-48628-4 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98487
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-98487
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-984872023-10-06T16:16:05Z Provably Correct Systems. 1st ed. 2017 Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Models and Principles 2020-09-11T02:32:04Z 2020-09-11T02:32:04Z 2017 Book 978-3-319-48627-7 978-3-319-48628-4 http://doi.org/10.1007/978-3-319-48628-4 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98487 en NASA Monographs in Systems and Software Engineering 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	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Models and Principles
spellingShingle	Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Models and Principles Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger Provably Correct Systems. 1st ed. 2017
format	Book
author	Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger
author_facet	Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger
author_sort	Hinchey, Mike
title	Provably Correct Systems. 1st ed. 2017
title_short	Provably Correct Systems. 1st ed. 2017
title_full	Provably Correct Systems. 1st ed. 2017
title_fullStr	Provably Correct Systems. 1st ed. 2017
title_full_unstemmed	Provably Correct Systems. 1st ed. 2017
title_sort	provably correct systems. 1st ed. 2017
publisher	Springer International Publishing
publishDate	2020
url	http://doi.org/10.1007/978-3-319-48628-4 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98487
_version_	1819771550104027136

Provably Correct Systems. 1st ed. 2017

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