ISBN 9783540578871 books & textbook
Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings (Lecture Notes in Computer Science, 789)
Hagiya, Masami Mitchell, John C.
Springer /1994-03-30 Paperback / 903 Pages
isbn-10: 3540578870 / isbn-13: 9783540578871