Ben-Ari, M., (1948-)
概要
| 作品: | 0 作品在 2 項出版品 2 種語言 | |
|---|---|---|
書目資訊
Principles of the Spin model checker
by:
SpringerLink (Online service); Ben-Ari, M., (1948-)
(書目-電子資源)
主題
Software Engineering/Programming and Operating Systems.
SPIN (Computer file)
Programming Techniques.
Operating Systems.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Theory of Computation.