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 Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015....
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 fu...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 complex associations between cannabis and mental illness. Organised into easy to navigate sections, the ...
    67,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 complex associations between cannabis and mental illness. Organised into easy to navigate sections, the ...
    67,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015....
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 20...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 viewed as generating traces containing confidential and visible events (only the latter being observa...
    58,52 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>