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

Your search for Roderick Bloem

  1. Cover: Software Verification - Springer
    Roderick Bloem | Rayna Dimitrova | Chuchu Fan
    Software Verification
    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
    02/2022
    Springer
    9783030955618 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Handbook of Model Checking - Springer
    Edmund M. Clarke | Thomas A. Henzinger | Helmut Veith
    Handbook of Model Checking
    05/2018
    Springer
    9783319105758 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  3. Cover: Hardware and Software: Verification and Testing - Springer
    Roderick Bloem | Eli Arbel
    Hardware and Software: Verification and Testing
    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    10/2016
    Springer
    9783319490526 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Decidability of Parameterized Verification - Springer
    Roderick Bloem | Swen Jacobs | Ayrat Kalimov
    Decidability of Parameterized Verification
    05/2022
    Springer
    9783031020117 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  5. Cover: Trusted Systems - Springer
    Roderick Bloem | Peter Lipp
    Trusted Systems
    5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
    11/2013
    Springer
    9783319034911 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Computer Aided Verification - Springer
    Armin Biere | Roderick Bloem
    Computer Aided Verification
    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    06/2014
    Springer
    9783319088679 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  7. Cover: Handbook of Model Checking - Springer
    Edmund M. Clarke | Thomas A. Henzinger | Helmut Veith
    Handbook of Model Checking
    06/2018
    Springer
    9783319105741 (ISBN)
    Book
    Hardback
    Other editions
    €149.79
    Available immediately
  8. Cover: Handbook of Model Checking - Springer
    Edmund M. Clarke | Thomas A. Henzinger | Helmut Veith
    Handbook of Model Checking
    11/2020
    Springer
    9783030132330 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 7-9 days
  9. Cover: Software Verification - Springer
    Roderick Bloem | Rayna Dimitrova | Chuchu Fan
    Software Verification
    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
    02/2022
    Springer
    9783030955601 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 7-9 days
  10. Cover: Hardware and Software: Verification and Testing - Springer
    Roderick Bloem | Eli Arbel
    Hardware and Software: Verification and Testing
    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    11/2016
    Springer
    9783319490519 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Decidability of Parameterized Verification - Morgan and Claypool Life Sciences
    Roderick Bloem | Swen Jacobs | Ayrat Khalimov
    Decidability of Parameterized Verification
    09/2015
    Morgan and Claypool Life Sciences
    9781627057431 (ISBN)
    Book
    Paperback/Softback
    €94.28
    Shipment within 15-20 days
  12. Cover: Trusted Systems - Springer
    Roderick Bloem | Peter Lipp
    Trusted Systems
    5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
    11/2013
    Springer
    9783319034904 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: Computer Aided Verification - Springer
    Armin Biere | Roderick Bloem
    Computer Aided Verification
    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    08/2014
    Springer
    9783319088662 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  14. Cover: Decidability of Parameterized Verification - Springer
    Roderick Bloem | Swen Jacobs | Ayrat Kalimov
    Decidability of Parameterized Verification
    09/2015
    Springer
    9783031008832 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €48.14
    Shipment within 15-20 days