ISBN 331925149X books & textbook
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)
Leucker, Martin Rueda, Camilo Valencia, Frank D.
Springer /2015-12-25 Paperback / 644 Pages
isbn-10: 331925149X / isbn-13: 9783319251493