3 results
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Eva Darulova

  1. This image is currently not available.
    Eva Darulova | Anthony W. Lin | Philipp Rümmer
    Computer Aided Verification
    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
    approx. 09/2026
    Springer
    9783032325365 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Not yet published
  2. This image is currently not available.
    Eva Darulova | Anthony W. Lin | Philipp Rümmer
    Computer Aided Verification
    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II
    approx. 09/2026
    Springer
    9783032325259 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Not yet published
  3. This image is currently not available.
    Eva Darulova | Anthony W. Lin | Philipp Rümmer
    Computer Aided Verification
    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
    approx. 09/2026
    Springer
    9783032325181 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Not yet published