Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    K. Rustan M. Leino
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    26.12.2015

    This book constitutes the refereed proceedings of the 17th International Conference on Verificati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    K. Rustan M. Leino
    Springer International Publishing, Springer Nature Switzerland
    18.07.2021

    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    K. Rustan M. Leino
    Springer Nature Switzerland, Springer International Publishing
    17.07.2021

    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Parosh Aziz Abdulla
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 17th International Conference on Tools and ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 89,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Program Proofs Program Proofs

    Program Proofs

    K. Rustan M. Leino
    MIT Press Ltd
    07.03.2023

    This comprehensive and highly readable textbook teaches how to formally reason about computer pro...

    Taschenbuch
    83,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1