Profisuche

deepak d souza

Grid   List

  1. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  2. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Deepak D’Souza
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 15th International Symposium on Automated T...

    53,49 €
    Alle Preise inkl. MwSt
  3. Marijuana and Madness

    Marijuana and Madness

    Deepak Cyril D’Souza
    Cambridge University Press
    Ebook
    Sofort lieferbar

    An updated third edition of this award-winning book provides a comprehensive overview of the comp...

    67,49 €
    Alle Preise inkl. MwSt
  4. Marijuana and Madness

    Marijuana and Madness

    Deepak Cyril D’Souza
    Cambridge University Press
    Ebook
    Sofort lieferbar

    An updated third edition of this award-winning book provides a comprehensive overview of the comp...

    67,49 €
    Alle Preise inkl. MwSt
  5. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    K. Narayan Kumar
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This book constitutes the refereed proceedings of the 15 sup thsupInternational Symposium ...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Model checking trace-based information flow properties

    Model checking trace-based information flow properties

    Raghavendra Kagalavadi Ramesh
    LAP Lambert Academic Publishing
    Taschenbuch
    Print on Demand

    Information flow properties are a way of specifying security properties of systems. A system is v...

    58,52 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1