語系
Clarke, Edmund M.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Handbook of Model Checking
by:
Veith, Helmut.; SpringerLink (Online service); Bloem, Roderick.; Clarke, Edmund M.; Henzinger, Thomas A.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Reliability.
Software engineering.
Quality control.
Computer systems
Theory of Computation.
Computers.
Industrial safety.
Mathematics of Computing.
Computer Science.
Quality Control, Reliability, Safety and Risk.
Mathematical Logic and Foundations.
Computer software—Reusability.
Performance and Reliability.