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

Orna Grumberg

8 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: Model Checking

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

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

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

    First published in 2009 1 edition — 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: 25 Years Of Model Checking History Achievements Perspectives

    First published in 2008 1 edition — 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: Model Checking, Second Edition

    First published in 2018 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: 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 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 Orna Grumberg
Subjects
Computer software, verification, Verification, Computer science, Computer systems, Logic design, Logiciels, Model Checking, 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, Formale Sprache, Génie logiciel

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