ISBN 3540427368 books & textbook
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)
Kobayashi, Naoki Pierce, Benjamin C.
Springer /2001-10-12 Paperback / 576 Pages
isbn-10: 3540427368 / isbn-13: 9783540427360
