Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Aziz, Benjamin.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal analysis by abstract interpretation = case studies in modern protocols / by: Aziz, Benjamin.; SpringerLink (Online service) (Electronic resources)

Subjects

Electronic data processing- Distributed processing. Mathematical Logic and Formal Languages. Communications Engineering, Networks. Cyber-physical systems, IoT. Professional Computing. Computer Communication Networks.

Change password

Login