ISBN 3642034659 books & textbook
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in Computer Science, 5684)
Leucker, Martin Morgan, Charles Carroll
Springer /2009-07-29 Paperback / 369 Pages
isbn-10: 3642034659 / isbn-13: 9783642034657