It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History
Edit

Yuri Gurevich

We need a photo of Yuri Gurevich

7 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

  • Cover of: Computer science logic: 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

    First published in 1994 2 editions in 1 language — 1 previewable
    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: The Classical Decision Problem

    First published in 1997 2 editions in 1 language
    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 in 1 language
    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 in 1 language
    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 in 1 language — 1 previewable
    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 in 1 language
    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 in 1 language — 1 previewable
    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, Logic, symbolic and mathematical, Machine theory, Mathematics, Mathematische Logik, Programming languages (Electronic computers), Programming languages (electronic computers), Programmverifikation

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