8 results
Type of media (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Ruzica Piskac

  1. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Ruzica Piskac | Philipp Rümmer
    Verified Software. Theories, Tools, and Experiments
    10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
    11/2018
    Springer
    9783030035921 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Constantin Enea | Ruzica Piskac
    Verification, Model Checking, and Abstract Interpretation
    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
    01/2019
    Springer
    9783030112455 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Ruzica Piskac | Philipp Rümmer
    Verified Software. Theories, Tools, and Experiments
    10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
    11/2018
    Springer
    9783030035914 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Constantin Enea | Ruzica Piskac
    Verification, Model Checking, and Abstract Interpretation
    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
    01/2019
    Springer
    9783030112448 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Computer Aided Verification - Springer
    Ruzica Piskac | Zvonimir Rakamaric
    Computer Aided Verification
    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
    07/2025
    Springer
    9783031986789 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  6. Cover: Computer Aided Verification - Springer
    Ruzica Piskac | Zvonimir Rakamaric
    Computer Aided Verification
    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
    07/2025
    Springer
    9783031986840 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  7. Cover: Computer Aided Verification - Springer
    Ruzica Piskac | Zvonimir Rakamaric
    Computer Aided Verification
    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
    07/2025
    Springer
    9783031986819 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  8. Cover: Computer Aided Verification - Springer
    Ruzica Piskac | Zvonimir Rakamaric
    Computer Aided Verification
    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
    07/2025
    Springer
    9783031986673 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days