Automated Technology for Verification and Analysis

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Namjoshi, Kedar, Yoneda, Tomohiro, Higashino, Teruo, Okamura, Yoshio
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82076
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-82076
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-820762020-02-20T02:08:42Z Automated Technology for Verification and Analysis Namjoshi, Kedar Yoneda, Tomohiro Higashino, Teruo Okamura, Yoshio Computer Science Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs 2020-02-20T02:08:42Z 2020-02-20T02:08:42Z 2007 Book 978-3-540-75595-1 978-3-540-75596-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82076 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 Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs
spellingShingle	Computer Science Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs Namjoshi, Kedar Yoneda, Tomohiro Higashino, Teruo Okamura, Yoshio Automated Technology for Verification and Analysis
format	Book
author	Namjoshi, Kedar Yoneda, Tomohiro Higashino, Teruo Okamura, Yoshio
author_facet	Namjoshi, Kedar Yoneda, Tomohiro Higashino, Teruo Okamura, Yoshio
author_sort	Namjoshi, Kedar
title	Automated Technology for Verification and Analysis
title_short	Automated Technology for Verification and Analysis
title_full	Automated Technology for Verification and Analysis
title_fullStr	Automated Technology for Verification and Analysis
title_full_unstemmed	Automated Technology for Verification and Analysis
title_sort	automated technology for verification and analysis
publisher	Springer Berlin Heidelberg
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82076
_version_	1757664703979454464

Automated Technology for Verification and Analysis

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