Detailsuche

Grid  List

  1. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Barbara Jobstmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,84 €

    Jetzt 56,83 €Ebook
    Alle Preise inkl. MwSt
  2. Computer Aided Verification
    Computer Aided Verification
    K. Rustan M. Leino
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    3,72 €Ebook
    Alle Preise inkl. MwSt
  3. Computer Aided Verification
    Computer Aided Verification
    K. Rustan M. Leino
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    3,73 €Ebook
    Alle Preise inkl. MwSt
  4. Program Proofs
    0 %
    Program Proofs
    K. Rustan M. Leino
    MIT Press
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 78,62 €

    Jetzt 78,61 €Ebook
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    K. Rustan M. Leino
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer Aided Verification
    Computer Aided Verification
    K. Rustan M. Leino
    Springer International Publishing
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Computer Aided Verification
    Computer Aided Verification
    K. Rustan M. Leino
    Springer International Publishing
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Program Proofs
    0 %
    Program Proofs
    K. Rustan M. Leino
    MIT Press Ltd
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    'The book shows what it means to write specifications for programs, what it means for programs to...

    Unser bisheriger Preis:ORGPRICE: 84,50 €

    Jetzt 84,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1