Sell, buy or rent Philipp W. Kutter textbooks
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912)
by
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
ISBN-13: 9783540679592
ISBN-10: 3540679596
Edition: 2000
Publisher:
Springer
Format:
Paperback
379 pages