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

Paperback

$55.99

Price Reduced From: $69.99

Free delivery
ISBN-13: 9780321773715
SPIN Model Checker, The: Primer and Reference Manual
Published 2003

Need help? Get in touch