Modelling and Verification of Secure Exams

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Giustolisi, Rosario
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89192
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-89192
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-891922020-04-06T06:32:06Z Modelling and Verification of Secure Exams Giustolisi, Rosario Computer Science Data Structures, Cryptology and Information Theory Information Systems and Communication Service 2020-04-06T06:32:06Z 2020-04-06T06:32:06Z 2018 Book 978-3-319-67106-2 978-3-319-67107-9 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89192 en Springer International Publishing AG, part of Springer Nature 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
Data Structures, Cryptology and Information Theory
Information Systems and Communication Service
spellingShingle Computer Science
Data Structures, Cryptology and Information Theory
Information Systems and Communication Service
Giustolisi, Rosario
Modelling and Verification of Secure Exams
format Book
author Giustolisi, Rosario
author_facet Giustolisi, Rosario
author_sort Giustolisi, Rosario
title Modelling and Verification of Secure Exams
title_short Modelling and Verification of Secure Exams
title_full Modelling and Verification of Secure Exams
title_fullStr Modelling and Verification of Secure Exams
title_full_unstemmed Modelling and Verification of Secure Exams
title_sort modelling and verification of secure exams
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89192
_version_ 1757676610185592832