Ben-Ari, M., (1948-)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Principles of the Spin model checker
by:
SpringerLink (Online service); Ben-Ari, M., (1948-)
(書目-語言資料,印刷品)
主題
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
SPIN (Computer file)
Operating Systems.
Programming Techniques.
Computer software- Verification.
Programming Languages, Compilers, Interpreters.
Concurrente programmering.
Computer Science.
Parallel processing (Electronic computers)