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