Yuri Gurevich
Yuri Gurevich
3 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Yuri Gurevich מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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