PACKAGE ISBN-13: 9780137157419

ISBN-10: 0-13-715741-X

ISBN-13: 978-0-13-715741-9What's this?

Published by Addison-Wesley

© 2006

Pub. Date: Apr 25, 2008

Format: Kit/Package/ShrinkWrap

Components of the Package:

SPIN Model Checker, The: Primer and Reference Manual
By Gerard J. Holzmann

Principles of Concurrent and Distributed Programming, 2nd Edition
By M. Ben-Ari

Package

List Price: $176.93

Add to Shopping Cart

Members pay only $159.24

This product must be assembled prior to being shipped. Please add approximately 2 to 3 business days to the estimated shipping date of your order.

Free FedEx Ground Shipping.