Cover: SPIN Model Checker, The: Primer and Reference Manual

SPIN Model Checker, The: Primer and Reference Manual, 1st edition

Published by Addison-Wesley Professional (September 4th 2003) - Copyright © 2004

  • Gerard J. Holzmann

$55.99

Need help? Get in touch