Verified Software: Theories, Tools, Experiments

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Meyer, Bertrand, Woodcock, Jim
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Programming Techniques Software Engineering
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81671
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-81671
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-816712023-10-06T01:52:23Z Verified Software: Theories, Tools, Experiments Meyer, Bertrand Woodcock, Jim Computer Science Programming Techniques Software Engineering 2020-02-20T01:43:59Z 2020-02-20T01:43:59Z 2008 Book 978-3-540-69147-1 978-3-540-69149-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81671 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 Programming Techniques Software Engineering
spellingShingle	Computer Science Programming Techniques Software Engineering Meyer, Bertrand Woodcock, Jim Verified Software: Theories, Tools, Experiments
format	Book
author	Meyer, Bertrand Woodcock, Jim
author_facet	Meyer, Bertrand Woodcock, Jim
author_sort	Meyer, Bertrand
title	Verified Software: Theories, Tools, Experiments
title_short	Verified Software: Theories, Tools, Experiments
title_full	Verified Software: Theories, Tools, Experiments
title_fullStr	Verified Software: Theories, Tools, Experiments
title_full_unstemmed	Verified Software: Theories, Tools, Experiments
title_sort	verified software: theories, tools, experiments
publisher	Springer Berlin Heidelberg
publishDate	2020
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81671
_version_	1819789368591646720

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