Formal Methods Teaching

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Dongol, Brijesh, Petre, Luigia, Smith, Graeme
Đị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 Programming Languages, Compilers, Interpreters Software Engineering
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91205
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-91205
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-912052023-10-06T05:31:44Z Formal Methods Teaching Dongol, Brijesh Petre, Luigia Smith, Graeme Computer Science Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering 2020-05-06T06:35:12Z 2020-05-06T06:35:12Z 2019 Book 978-3-030-32440-7 978-3-030-32441-4 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91205 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 Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering
spellingShingle	Computer Science Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Dongol, Brijesh Petre, Luigia Smith, Graeme Formal Methods Teaching
format	Book
author	Dongol, Brijesh Petre, Luigia Smith, Graeme
author_facet	Dongol, Brijesh Petre, Luigia Smith, Graeme
author_sort	Dongol, Brijesh
title	Formal Methods Teaching
title_short	Formal Methods Teaching
title_full	Formal Methods Teaching
title_fullStr	Formal Methods Teaching
title_full_unstemmed	Formal Methods Teaching
title_sort	formal methods teaching
publisher	Springer International Publishing
publishDate	2020
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91205
_version_	1819800751992471552

Formal Methods Teaching

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