Ben-Ari, M., (1948-)
Overview
| Works: | 0 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Principles of the Spin model checker
by:
SpringerLink (Online service); Ben-Ari, M., (1948-)
(Electronic resources)
Subjects
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.