Big Books of 2026

Join the Goodreads Author Program

Are you Yuri Gurevich, author of the books below?
Abstract State Machines - Theory and Applications by Yuri Gurevich Fenómenos de contacto y sus aplicaciones en celdas solares (C... by Yuri Gurevich Evolving Algebras by Yuri Gurevich Evolving Algebras by Yuri Gurevich Fenómenos de contacto y sus aplicaciones en celdas solares by Yuri Gurevich Algebraic operational semantics for Modula-2 by Yuri Gurevich The inference problem for template dependencies by Yuri Gurevich Formal Methods in Digital Design by J. Herbert The Classical Decision Problem by Egon Börger Computer Science Logic by Egon Börger


To join the author program as Yuri Gurevich, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads