26593383
9783642142949
Out of Stock
The item you're looking for is currently unavailable.
Touili, Tayssir is the author of 'Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings', published 2010 under ISBN 9783642142949 and ISBN 364214294X.
[read more]