ISBN 9783540679592 books & textbook
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912)
Gurevich, Yuri Kutter, Philipp W. Odersky, Martin Thiele, Lothar
Springer /2000-08-23 Paperback / 379 Pages
isbn-10: 3540679596 / isbn-13: 9783540679592
