Profisuche

ranjit jhala

Grid   List

  1. Verification, Model Checking, and Abstract Interpretation

    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...

    53,49 €
    Alle Preise inkl. MwSt
  2. Compiler Construction

    Compiler Construction

    Koen de Bosschere
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    48,14 €
    Alle Preise inkl. MwSt
  3. Programming Languages and Systems

    Programming Languages and Systems

    Ranjit Jhala
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  4. Compiler Construction

    Compiler Construction

    Ranjit Jhala
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    49,22 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Refinement Types

    Refinement Types

    Ranjit Jhala
    Now Publishers Inc
    Taschenbuch
    Bezug 11-15

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

    142,01 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Programming Languages and Systems

    Programming Languages and Systems

    Atsushi Igarashi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1