Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Clarke, Edmund M.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Handbook of model checking by: Clarke, Edmund M.; SpringerLink (Online service) (Electronic resources)

Subjects

Theory of Computation. Mathematical Logic and Foundations. Software Engineering/Programming and Operating Systems. Mathematics of Computing. Computer systems- Verification Performance and Reliability. Computer Science. Quality Control, Reliability, Safety and Risk.

Change password

Login