Ben-Ari, Mordechai.
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. - London : Springer London, 2008. - digital.
9781846287701
10.1007/978-1-84628-770-1 doi
Computer science.
Software engineering.
Operating systems (Computers).
Information theory.
Logic design.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Theory of Computation.
Logics and Meanings of Programs.
QA76.758
005.1
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. - London : Springer London, 2008. - digital.
9781846287701
10.1007/978-1-84628-770-1 doi
Computer science.
Software engineering.
Operating systems (Computers).
Information theory.
Logic design.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Theory of Computation.
Logics and Meanings of Programs.
QA76.758
005.1