It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Open Library is running in limited-availability mode: login is disabled and some books may appear unavailable
Last edited anonymously
April 29, 2008 | History
Edit

Yuri Gurevich

We need a photo of Yuri Gurevich

7 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: The Classical Decision Problem

    First published in 1997 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computer science logic: 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

    First published in 1994 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

    First published in 2007 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

    First published in 2010 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Semantics of programming languages and model theory

    First published in 1993 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)

    First published in 2000 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Yuri Gurevich

Subjects

Computer science, Congresses, Symbolic and mathematical Logic, Abstrakte Zustandsmaschine, Automatentheorie, Berechenbarkeit, Computer networks, Computer science, mathematics, Computer software, Computer software, quality control, Computer software, reliability, Decidability (mathematical logic), Formal methods (Computer science), Formale Methode, Information theory, Komplexitätstheorie, Logic design, Logic, Symbolic and mathematical, Machine theory, Mathematics, Mathematische Logik, Programming languages (Electronic computers), Programming languages (electronic computers), Programmverifikation, Semantics

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2682638A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import