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

Orna Grumberg

We need a photo of Orna Grumberg

8 works Add another?

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

  • Cover of: Model Checking

    First published in 1999 — 5 editions
    Locate

    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: Languages : from Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

    First published in 2009 — 1 edition
    Locate

    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: 25 Years of Model Checking: History, Achievements, Perspectives

    First published in 2008 — 1 edition
    Locate

    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: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

    First published in 2007 — 1 edition
    Locate

    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: Languages From Formal to Natural Lecture Notes in Computer Science

    First published in 2009 — 1 edition
    Locate

    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: 25 Years Of Model Checking History Achievements Perspectives

    First published in 2008 — 1 edition
    Locate

    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: Model Checking, Second Edition

    First published in 2018 — 1 edition
    Locate

    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 Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science)

    First published in 1997 — 1 edition
    Locate

    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 Orna Grumberg

Subjects

Computer software, verification, Verification, Computer science, Computer systems, Logic design, Logiciels, Model Checking, Models and modelmaking, Sat (educational test), Verificatie, Vérification, COMPUTERS, Circuits intégrés, Computer Science, Computer software, Computer software, development, Computersystemen, Conception assistée par ordinateur, Congresses, Congrès, Datenverarbeitungssystem, Electronic digital computers, Engenharia de software, Engineering & Applied Sciences, Evaluation

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3250211A

Links outside Open Library

No links yet. Add one?

History

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