32250219
9783642277047
Out of Stock
The item you're looking for is currently unavailable.
Joshi, Rajeev is the author of 'Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings', published 2012 under ISBN 9783642277047 and ISBN 3642277047.
[read more]