Integrated Formal Methods

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Romijn, Judi M.T., Smith, Graeme P., Pol, Jaco C. van de
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Theory of Computation Logics and Meanings of Programs
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82053
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-82053
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-820532020-02-20T02:07:43Z Integrated Formal Methods Romijn, Judi M.T. Smith, Graeme P. Pol, Jaco C. van de Computer Science Theory of Computation Logics and Meanings of Programs 2020-02-20T02:07:43Z 2020-02-20T02:07:43Z 2005 Book 978-3-540-30492-0 978-3-540-32240-5 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82053 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 Theory of Computation Logics and Meanings of Programs
spellingShingle	Computer Science Theory of Computation Logics and Meanings of Programs Romijn, Judi M.T. Smith, Graeme P. Pol, Jaco C. van de Integrated Formal Methods
format	Book
author	Romijn, Judi M.T. Smith, Graeme P. Pol, Jaco C. van de
author_facet	Romijn, Judi M.T. Smith, Graeme P. Pol, Jaco C. van de
author_sort	Romijn, Judi M.T.
title	Integrated Formal Methods
title_short	Integrated Formal Methods
title_full	Integrated Formal Methods
title_fullStr	Integrated Formal Methods
title_full_unstemmed	Integrated Formal Methods
title_sort	integrated formal methods
publisher	Springer Berlin Heidelberg
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82053
_version_	1757675453367189504

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