It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
October 7, 2019 | History
Edit

Doron Peled

We need a photo of Doron Peled

3 works Add another?

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

  • Cover of: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

    First published in 2016 — 2 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: Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

    First published in 1999 — 2 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: 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
We need a photo of Doron Peled

Subjects

Artificial intelligence, Automatic theorem proving, Computer software, Computer software, verification, Congresses, Congressos, Disseny lògic, Enginyeria del software, Integrated circuits, Llenguatges formals, Models and modelmaking, Sat (educational test), Software, Verificatie, Verification

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7648748A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 7, 2019 Created by ImportBot import new book