Normal view
MARC view
Principles of the Spin Model Checker Электронный ресурс by Mordechai Ben-Ari.
Material type: Computer filePublication details: London : Springer-Verlag London Limited, 2008ISBN: 9781846287701Subject(s): Computer Science | Information theory | Logic design | Operating systems (Computers) | Software engineering | Computer Science | Logics and Meanings of Programs | Operating Systems | Programming Languages, Compilers, Interpreters | Programming Techniques | Software Engineering/Programming and Operating Systems | Theory of ComputationOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.