Giustolisi, Rosario.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Modelling and verification of secure exams by: Giustolisi, Rosario.; SpringerLink (Online service) (書目-語言資料,印刷品)

Modelling and Verification of Secure Exams by: Giustolisi, Rosario.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

主題

Mathematical logic. Application software. Information Systems and Communication Service. Data Structures and Information Theory. Data Structures, Cryptology and Information Theory. Test-taking skills. Revision and Exam. Computer Appl. in Administrative Data Processing. Computer networks Computers. Data structures (Computer science). Computer Science. Computer security. Mathematical Logic and Formal Languages.