26593692
9783642156427
Out of Stock
The item you're looking for is currently unavailable.
Bouajjani, Ahmed is the author of 'Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings', published 2010 under ISBN 9783642156427 and ISBN 3642156428.
[read more]