-29% Pre-Owned Lecture Notes in Computer Science: Model Checking Software: 9th International Spin Workshop Grenoble France April 11-13 2002 Proceedings (Paperback)

Pre-Owned Lecture Notes in Computer Science: Model Checking Software: 9th International Spin Workshop Grenoble France April 11-13 2002 Proceedings (Paperback)

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995 when the SPIN workshop series was instigated SPIN...


Walmart

$89.99 $63.68
Free Delivery

Go to store
Items per page