21652148
9783642198342
Out of Stock
The item you're looking for is currently unavailable.
Abdulla, Parosh Aziz is the author of 'Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues)', published 2011 under ISBN 9783642198342 and ISBN 3642198341.
[read more]