Detailsuche

Grid  List

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

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

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €Ebook
    Alle Preise inkl. MwSt
  2. Programming Languages and Systems
    0 %
    Programming Languages and Systems
    Atsushi Igarashi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languag...

    Unser bisheriger Preis:ORGPRICE: 58,12 €

    Jetzt 58,11 €Ebook
    Alle Preise inkl. MwSt
  3. Compiler Construction
    0 %
    Compiler Construction
    Koen De Bosschere
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 22nd International Conference on Compiler Constructi...

    Unser bisheriger Preis:ORGPRICE: 51,67 €

    Jetzt 51,66 €Ebook
    Alle Preise inkl. MwSt
  4. Programming Languages and Systems
    0 %
    Programming Languages and Systems
    Atsushi Igarashi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languag...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Compiler Construction
    Compiler Construction
    Ranjit Jhala
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 22nd International Conference on Compiler Constructi...

    49,22 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Refinement Types
    0 %
    Refinement Types
    Ranjit Jhala
    Now Publishers Inc
    Taschenbuch
    Print on Demand

    Refinement types can be the vector that brings formal verification into mainstream software devel...

    Unser bisheriger Preis:ORGPRICE: 116,30 €

    Jetzt 116,29 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Ranjit Jhala
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1