26593812
9783642161636
Out of Stock
The item you're looking for is currently unavailable.
van der Pol, Jaco is the author of 'Model Checking Software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings', published 2010 under ISBN 9783642161636 and ISBN 3642161634.
[read more]