Yuri Gurevich

Yuri Gurevich’s Followers (1)

member photo

Yuri Gurevich

Combine Editions
Yuri Gurevich’s books

Average rating: 3.0 · 1 rating · 0 reviews · 11 distinct works

	Basic Proof Theory by Anne S. Troelstra, H. Schwichtenberg, C.J. van Rijsbergen (Editor) 3.91 avg rating — 11 ratings — published 1996 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Classical Decision Problem by Egon Börger, Yuri Gurevich, Egon Boerger liked it 3.00 avg rating — 1 rating — published 1996 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Methods in Digital Design (Cambridge Tracts in Theoretical Computer Science, Series Number 20) by J. Herbert, C.J. van Rijsbergen (Editor), Samson Abramsky (Editor) liked it 3.00 avg rating — 1 rating	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 (Editor), Philipp W. Kutter (Editor), Martin Odersky (Editor) 0.00 avg rating — 0 ratings — published 2000 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Fenómenos de contacto y sus aplicaciones en celdas solares (Ciencia y Tecnologia) (Spanish Edition) by Yuri Gurevich, G. Miguel Meléndez Lira 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Evolving Algebras: A Novel Specification and Verification Methodology 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Evolving Algebras: A Novel Specification and Verification Methodology 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Fenómenos de contacto y sus aplicaciones en celdas solares by Yuri Gurevich, G. Miguel Meléndez Lira 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Algebraic operational semantics for Modula-2 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The inference problem for template dependencies 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Yuri Gurevich…

Is this you? Let us know. If not, help out and invite Yuri to Goodreads.