Sell, buy or rent Yuri Gurevich textbooks

The Classical Decision Problem

by Egon Borger
ISBN-13: 9783540423249
ISBN-10: 3540423249
Edition: Softcover Repri
Publication date: 2001
Publisher: Springer
Format: Paperback 492 pages

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