ISBN 9783642546235 books & textbook
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science, 8373)
Iida, Shusaku Meseguer, José Ogata, Kazuhiro
Springer /2014-02-25 Paperback / 679 Pages
isbn-10: 3642546234 / isbn-13: 9783642546235
