Yuri Gurevich
Yuri Gurevich
3 books in the database
Books
Fields of logic and computationYuri Gurevich
Fields of logic and computation
Yuri Gurevich · 2010
Abstract state machinesYuri Gurevich
Abstract state machines
Yuri Gurevich · 2000
Abstract State Machines - Theory and ApplicationsYuri Gurevich
Abstract State Machines - Theory and Applications
Yuri Gurevich · 2003
Co-authored books and collections
Books that list Yuri Gurevich among their authors but not as the lead author: co-written works, collections and compilations.
Computer science logicWorkshop on Computer Science Logic (7th 1993 Swansea, Wales)
Computer science logic
Workshop on Computer Science Logic (7th 1993 Swansea, Wales) · 1994
Classical Decision ProblemEgon Börger
Classical Decision Problem
Egon Börger · 2001
Tests and ProofsBertrand Meyer
Tests and Proofs
Bertrand Meyer · 2007