Books by Yuri Gurevich

Yuri Gurevich
Average rating 3.00 · 1 rating · 0 reviews · shelved 10 times

Showing 14 distinct works.

	Basic Proof Theory by Anne S. Troelstra, H. Schwichtenberg, C.J. van Rijsbergen (Editor), Samson Abramsky (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), P H Aczel (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), Lothar Thiele (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 by Yuri Gurevich 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 by Yuri Gurevich 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 by Yuri Gurevich 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 by Yuri Gurevich 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
	Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science) by Egon Börger, Yuri Gurevich (Editor), Karl Meinke (Editor) 0.00 avg rating — 0 ratings — published 1994 — 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
	Tests and Proofs by Bertrand Meyer (editor), Yuri Gurevich 0.00 avg rating — 0 ratings — published 2008	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
	CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS by Herbert Edelsbrunner (Editor), Hartmut Ehrig, Yuri Gurevich, J Hartmanis 0.00 avg rating — 0 ratings — published 1993	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
	Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science, 4454) by Bertrand Meyer (Editor), Yuri Gurevich (Editor) 0.00 avg rating — 0 ratings — published 2007 — 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

* Note: these are all the books on Goodreads for this author. To add more books, click here.