Principles of the Spin Model Checker. 2008 ed., Paperback - Mordechai Ben-Ari
470,99 RON
This is the first introductory textbook on Spin, the only requirement is a background in programming. The Spin model checker is not only a widely u...
elefant.ro