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

Your search for K. Rustan M. Leino

  1. Cover: Program Proofs - MIT Press
    K. Rustan M. Leino
    Program Proofs
    03/2023
    MIT Press
    9780262375429 (ISBN)
    E-Book
    ePUB
    Other editions
    €68.49
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Barbara Jobstmann | K. Rustan M. Leino
    Verification, Model Checking, and Abstract Interpretation
    17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    12/2015
    Springer
    9783662491225 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Parosh Aziz Abdulla | K. Rustan M. Leino
    Tools and Algorithms for the Construction and Analysis of Systems
    17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    03/2011
    Springer
    9783642198359 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Parosh Aziz Abdulla | K. Rustan M. Leino
    Tools and Algorithms for the Construction and Analysis of Systems
    17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    03/2011
    1st EDN1st Edition
    Springer
    9783642198342 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Computer Aided Verification - Springer
    Alexandra Silva | K. Rustan M. Leino
    Computer Aided Verification
    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    07/2021
    Springer
    9783030816872 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  6. Cover: Computer Aided Verification - Springer
    Alexandra Silva | K. Rustan M. Leino
    Computer Aided Verification
    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    07/2021
    Springer
    9783030816841 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  7. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Barbara Jobstmann | K. Rustan M. Leino
    Verification, Model Checking, and Abstract Interpretation
    17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    12/2015
    Springer
    9783662491218 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Program Proofs - MIT Press
    K. Rustan M. Leino | Kaleb Leino
    Program Proofs
    03/2023
    MIT Press
    9780262546232 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €83.00
    Shipment within 10-20 days
  9. This image is currently not available.
    Parosh Aziz Abdulla | K. Rustan M. Leino
    Tools and Algorithms for the Construction and Analysis of Systems
    03/2011
    Springer
    9783642198366 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available